default search action

combined dblp search
author search
venue search
publication search

ask others

30th Petri Nets 2009: Paris, France

> Home > Conferences and Workshops > Petri Nets

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/apn/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2009
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

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/apn/Sifakis09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Sifakis09
Joseph Sifakis:
Component-Based Construction of Heterogeneous Real-Time Systems in Bip. 1
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLD09
Gabriel Juhás, Robert Lorenz, Jörg Desel:
Unifying Petri Net Semantics with Token Flows. 2-21
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/apn/Rozenberg09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Rozenberg09
Grzegorz Rozenberg:
Reaction Systems: A Formal Framework for Processes. 22

Full Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/Reisig09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Reisig09
Wolfgang Reisig:
Simple Composition of Nets. 23-42
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KindlerP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KindlerP09
Ekkart Kindler, Laure Petrucci:
Towards a Standard for Modular Petri Nets: A Formalisation. 43-62
- view
  authority control:
- export record
  dblp key:
  - conf/apn/VelardoF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VelardoF09
Fernando Rosa-Velardo, David de Frutos-Escrig:
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. 63-82
- view
  authority control:
- export record
  dblp key:
  - conf/apn/FanchonM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FanchonM09
Jean Fanchon, Rémi Morin:
Pomset Languages of Finite Step Transition Systems. 83-102
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MairesseN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MairesseN09
Jean Mairesse, Hoang-Thach Nguyen:
Deficiency Zero Petri Nets and Product Form. 103-122
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Valmari09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Valmari09
Antti Valmari:
Bisimilarity Minimization in O(m logn) Time. 123-142
- view
  authority control:
- export record
  dblp key:
  - conf/apn/CiardoMPW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CiardoMPW09
Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan:
P-Semiflow Computation with Decision Diagrams. 143-162
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BernardinelloPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BernardinelloPR09
Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular Lattices in Occurrence Nets. 163-182
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Oliveira09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Oliveira09
Mateus de Oliveira Oliveira:
Hasse Diagram Generators and Petri Nets. 183-203
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Demongodin09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Demongodin09
Isabel Demongodin:
Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed. 204-222
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Fahland09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Fahland09
Dirk Fahland:
Oclets - Scenario-Based Modeling with Petri Nets. 223-242
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Kohler-Bussmeier09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Kohler-Bussmeier09
Michael Köhler-Bußmeier:
Hornets: Nets within Nets Combined with Net Algebra. 243-262
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BouillardRBH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BouillardRBH09
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar:
Monotonicity in Service Orchestrations. 263-282
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AalstHMSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AalstHMSW09
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

- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardEK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardEK09
Michael Westergaard, Sami Evangelista, Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis. 303-312
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WestergaardK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WestergaardK09
Michael Westergaard, Lars Michael Kristensen:
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. 313-322
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HeinerST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HeinerST09
Monika Heiner, Martin Schwarick, Alexej Tovchigrechko:
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. 323-332
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PoliakovKY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PoliakovKY09
Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev:
Workcraft - A Framework for Interpreted Graph Models. 333-342
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KhaliliBA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KhaliliBA09
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.