List of Accepted Papers for Petri Nets 2009
- 2 - Modelling Distributed Workflow Management Systems with Algebraic Object Nets (Michael Köhler-Bußmeier)
- 3 - Orthomodular lattices in occurrence nets (Luca Bernardinello, Lucia Pomello, Stefania Rombolà)
- 7 - Hasse Diagram Generators and Petri Nets (Mateus Oliveira)
- 8 - Monotonicity in Service Orchestrations (Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar)
- 9 - Bisimilarity Minimization in O(m log n) Time (Antti Valmari)
- 14 - The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator (Michael Westergaard, Lars M. Kristensen)
- 17 - Towards a Standard for Modular Petri Nets: A Formalisation (Ekkart Kindler, Laure Petrucci)
- 21 - DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets (Monika Heiner, Martin Schwarick, Alexej Tovchigrechko)
- 23 - Deficiency Zero Petri Nets and Product Form (Jean Mairesse, Hoang Thach Nguyen)
- 31 - The Universal Net Composition Operator (Wolfgang Reisig)
- 34 - PDETool: A Multi-Formalism Modeling Tool for Discrete-Event Systems Based on SDES Description (Amir Jalaly Bidgoly, Ali Khalili, Mohammad Abdollahi Azgomi)
- 35 - Workcraft - a Framework for Interpreted Graph Models (Ivan Poliakov, Victor Khomenko, Alex Yakovlev)
- 36 - Oclets - scenario-based modeling with Petri nets (Dirk Fahland)
- 37 - ASAP: An Extensible Platform for State Space Analysis (Michael Westergaard, Sami Evangelista, Lars M. Kristensen)
- 39 - Decidability results for restricted models of Petri nets with name creation and replication (Fernando Rosa-Velardo, David de Frutos-Escrig)
- 40 - Modeling and analysis of transportation networks using Batches Petri nets with controllable batch speed: a case study (Isabel Demongodin)
- 45 - Pomset Semantics of Finite Step Transition Systems (Jean Fanchon, Rémi Morin)
- 47 - Compositional Service Trees (Wil van der Aalst, Kees van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn van der Werf)
- 57 - P-semiflow computation with decision diagrams (Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan)