Skip to main content
  • Conference proceedings
  • © 2009

Applications and Theory of Petri Nets

30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings

Conference proceedings info: PETRI NETS 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (22 papers)

  1. Front Matter

  2. Invited Papers

    1. Unifying Petri Net Semantics with Token Flows

      • Gabriel Juhás, Robert Lorenz, Jörg Desel
      Pages 2-21
  3. Full Papers

    1. Simple Composition of Nets

      • Wolfgang Reisig
      Pages 23-42
    2. Towards a Standard for Modular Petri Nets: A Formalisation

      • Ekkart Kindler, Laure Petrucci
      Pages 43-62
    3. Pomset Languages of Finite Step Transition Systems

      • Jean Fanchon, Rémi Morin
      Pages 83-102
    4. Deficiency Zero Petri Nets and Product Form

      • Jean Mairesse, Hoang-Thach Nguyen
      Pages 103-122
    5. Bisimilarity Minimization in O(m logn) Time

      • Antti Valmari
      Pages 123-142
    6. P-Semiflow Computation with Decision Diagrams

      • Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan
      Pages 143-162
    7. Orthomodular Lattices in Occurrence Nets

      • Luca Bernardinello, Lucia Pomello, Stefania Rombolà
      Pages 163-182
    8. Hasse Diagram Generators and Petri Nets

      • Mateus de Oliveira Oliveira
      Pages 183-203
    9. Hornets: Nets within Nets Combined with Net Algebra

      • Michael Köhler-Bußmeier
      Pages 243-262
    10. Monotonicity in Service Orchestrations

      • Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
      Pages 263-282
    11. Compositional Service Trees

      • Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn van der Werf
      Pages 283-302
  4. Tool Papers

    1. ASAP: An Extensible Platform for State Space Analysis

      • Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
      Pages 303-312
    2. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

      • Michael Westergaard, Lars Michael Kristensen
      Pages 313-322

Other Volumes

  1. Applications and Theory of Petri Nets

About this book

This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented.

Keywords

  • DES
  • calculus
  • hasse diagram
  • lattices
  • modeling
  • modeling language
  • modular petri nets
  • oclets
  • pomset
  • reaction systems
  • real-time systems
  • state space
  • structured analysis
  • structured design
  • token flows
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italy

    Giuliana Franceschinis

  • Institut für Informatik, Universität Rostock, Rostock, Germany

    Karsten Wolf

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions