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.
Lecture Notes in Computer Science 5606 Springer 2009, ISBN 978-3-642-02423-8 
Invited Papers
Full Papers
- Wolfgang Reisig:
Simple Composition of Nets.
23-42
- Ekkart Kindler, Laure Petrucci:
Towards a Standard for Modular Petri Nets: A Formalisation.
43-62
- Fernando Rosa-Velardo, David de Frutos-Escrig:
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.
63-82
- Jean Fanchon, Rémi Morin:
Pomset Languages of Finite Step Transition Systems.
83-102
- Jean Mairesse, Hoang-Thach Nguyen:
Deficiency Zero Petri Nets and Product Form.
103-122
- 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
Last update Tue May 22 23:22:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
