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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team