default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th Petri Nets 2009: Paris, France
- Giuliana Franceschinis, Karsten Wolf:
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
- Joseph Sifakis:
Component-Based Construction of Heterogeneous Real-Time Systems in Bip. 1 - Gabriel Juhás
, Robert Lorenz, Jörg Desel:
Unifying Petri Net Semantics with Token Flows. 2-21 - Grzegorz Rozenberg:
Reaction Systems: A Formal Framework for Processes. 22
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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
