Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis - Best, Eike; Devillers, Raymond (Computer Science Foundations and Applied Logic, 2024)