30. Petri Nets 2009: Paris, France
Giuliana Franceschinis, Karsten Wolf (Eds.): Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-02423-8
Invited Papers
Joseph Sifakis: Component-Based Construction of Heterogeneous Real-Time Systems in Bip. 1
Grzegorz Rozenberg: Reaction Systems: A Formal Framework for Processes. 22
Full Papers
Wolfgang Reisig: Simple Composition of Nets. 23-42
Fernando Rosa-Velardo, David de Frutos-Escrig: Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. 63-82

Antti Valmari: Bisimilarity Minimization in O(m logn) Time. 123-142
Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan: P-Semiflow Computation with Decision Diagrams. 143-162
Luca Bernardinello, Lucia Pomello, Stefania Rombolà: Orthomodular Lattices in Occurrence Nets. 163-182
Mateus de Oliveira Oliveira: Hasse Diagram Generators and Petri Nets. 183-203
Isabel Demongodin: Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed. 204-222
Dirk Fahland: Oclets - Scenario-Based Modeling with Petri Nets. 223-242
Michael Köhler-Bußmeier: Hornets: Nets within Nets Combined with Net Algebra. 243-262
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotonicity in Service Orchestrations. 263-282
Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf: Compositional Service Trees. 283-302
Tool Papers
Michael Westergaard, Sami Evangelista, Lars Michael Kristensen: ASAP: An Extensible Platform for State Space Analysis. 303-312
Michael Westergaard, Lars Michael Kristensen: The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. 313-322
Monika Heiner, Martin Schwarick, Alexej Tovchigrechko: DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. 323-332
Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev: Workcraft - A Framework for Interpreted Graph Models. 333-342
Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi: PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. 343-352



