| 2013 | A Semantics for Every GSPN. Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang |
| 2013 | A Taxonomy of Persistent and Nonviolent Steps. Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny |
| 2013 | Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings José Manuel Colom, Jörg Desel |
| 2013 | CPN Tools 4: Multi-formalism and Extensibility. Michael Westergaard |
| 2013 | Channel Properties of Asynchronously Composed Petri Nets. Serge Haddad, Rolf Hennicker, Mikael H. Møller |
| 2013 | Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology. David R. Gilbert, Monika Heiner, Fei Liu, Nigel J. Saunders |
| 2013 | Complexity Analysis of Continuous Petri Nets. Estíbaliz Fraca, Serge Haddad |
| 2013 | Complexity Results for Elementary Hornets. Michael Köhler-Bußmeier, Frank Heitmann |
| 2013 | Contextual Merged Processes. César Rodríguez, Stefan Schwoon, Victor Khomenko |
| 2013 | Discovering Block-Structured Process Models from Event Logs - A Constructive Approach. Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst |
| 2013 | Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis |
| 2013 | Expressing and Computing Passage Time Measures of GSPN Models with HASL. Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
| 2013 | Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. Robin Bergenthum |
| 2013 | Hierarchical Conformance Checking of Process Models Based on Event Logs. Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst |
| 2013 | MARCIE - Model Checking and Reachability Analysis Done Efficiently. Monika Heiner, Christian Rohr, Martin Schwarick |
| 2013 | Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case. Matthias Weidlich, Jan Mendling, Avigdor Gal |
| 2013 | On Multi-enabledness in Time Petri Nets. Hanifa Boucheneb, Didier Lime, Olivier H. Roux |
| 2013 | Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets. Ernst W. Mayr, Jeremias Weihmann |
| 2013 | Step Persistence in the Design of GALS Systems. Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev |
| 2013 | The Right Timing: Reflections on the Modeling and Analysis of Time. Kees M. van Hee, Natalia Sidorova |
| 2013 | The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework. Monica Clemente, Maria Pia Fanti, Agostino Marcello Mangini, Walter Ukovich |
| 2013 | Unifying the Semantics of Modular Extensions of Petri Nets. Alexis Marechal, Didier Buchs |
| 2013 | ω-Petri Nets. Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin |