| 2009 | ASAP: An Extensible Platform for State Space Analysis. Michael Westergaard, Sami Evangelista, Lars Michael Kristensen |
| 2009 | Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings Giuliana Franceschinis, Karsten Wolf |
| 2009 | Bisimilarity Minimization in O(m logn) Time. Antti Valmari |
| 2009 | Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Joseph Sifakis |
| 2009 | Compositional Service Trees. Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf |
| 2009 | DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Monika Heiner, Martin Schwarick, Alexej Tovchigrechko |
| 2009 | Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. Fernando Rosa-Velardo, David de Frutos-Escrig |
| 2009 | Deficiency Zero Petri Nets and Product Form. Jean Mairesse, Hoang-Thach Nguyen |
| 2009 | Hasse Diagram Generators and Petri Nets. Mateus de Oliveira Oliveira |
| 2009 | Hornets: Nets within Nets Combined with Net Algebra. Michael Köhler-Bußmeier |
| 2009 | Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed. Isabel Demongodin |
| 2009 | Monotonicity in Service Orchestrations. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar |
| 2009 | Oclets - Scenario-Based Modeling with Petri Nets. Dirk Fahland |
| 2009 | Orthomodular Lattices in Occurrence Nets. Luca Bernardinello, Lucia Pomello, Stefania Rombolà |
| 2009 | P-Semiflow Computation with Decision Diagrams. Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan |
| 2009 | PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi |
| 2009 | Pomset Languages of Finite Step Transition Systems. Jean Fanchon, Rémi Morin |
| 2009 | Reaction Systems: A Formal Framework for Processes. Grzegorz Rozenberg |
| 2009 | Simple Composition of Nets. Wolfgang Reisig |
| 2009 | The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Michael Westergaard, Lars Michael Kristensen |
| 2009 | Towards a Standard for Modular Petri Nets: A Formalisation. Ekkart Kindler, Laure Petrucci |
| 2009 | Unifying Petri Net Semantics with Token Flows. Gabriel Juhás, Robert Lorenz, Jörg Desel |
| 2009 | Workcraft - A Framework for Interpreted Graph Models. Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev |