Abstract is missing.
- Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter SystemsVegard Steinsland, Lars Michael Kristensen, Shujun Zhang. 3-22 [doi]
- Discovering Unseen Behaviour from Event LogsAbel Armas-Cervantes, Farbod Taymouri. 23-42 [doi]
- Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded MemoryClément Bertrand, Hanna Klaudel, Frédéric Peschanski. 43-63 [doi]
- Waiting NetsLoïc Hélouët, Pranay Agrawal. 67-89 [doi]
- Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net ApproachXavier Allamigeon, Marin Boyet, Stéphane Gaubert. 90-112 [doi]
- Kong: A Tool to Squash Concurrent PlacesNicolas Amat, Louis Chauvet. 115-126 [doi]
- IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers DevelopmentFernando Pereira, Filipe Moutinho, Anikó Costa, João Paulo Barros, Rogério Campos-Rebelo, Luís Gomes 0001. 127-138 [doi]
- OCπ: Object-Centric Process InsightsJan Niklas Adams, Wil M. P. van der Aalst. 139-150 [doi]
- From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems EngineeringRafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski, Michal A. Kurowski, Grzegorz Juchnikowski, Marek Morawski, Michal Mosdorf, Piotr Orleanski, Cedric Thizy, Marcus Völp. 153-174 [doi]
- Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems ModellingFranck Pommereau, Colin Thomas, Cédric Gaucherel. 175-194 [doi]
- Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri NetsMaxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng. 195-210 [doi]
- Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity IssuesRaymond R. Devillers, Ronny Tredup. 213-235 [doi]
- The Synthesis Problem for Repeatedly Communicating Petri GamesPaul Hannibal, Ernst-Rüdiger Olderog. 236-257 [doi]
- Avoiding Exponential Explosion in Petri Net Models of Control FlowsVictor Khomenko, Maciej Koutny, Alex Yakovlev. 261-277 [doi]
- The Ins and Outs of Petri Net CompositionElvio G. Amparore, Susanna Donatelli. 278-299 [doi]
- Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent BehaviorLisa Luise Mannel, Wil M. P. van der Aalst. 303-324 [doi]
- Aligning Event Logs to Resource-Constrained ν-Petri NetsDominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen. 325-345 [doi]
- From Place Nets to Local Process ModelsViki Peeva, Lisa Luise Mannel, Wil M. P. van der Aalst. 346-368 [doi]
- Data and Process Resonance - Identifier Soundness for Models of Information SystemsJan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali. 369-392 [doi]