Skip to main content
Springer Nature Link
Log in

Applications and Theory of Petri Nets

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Giuliana Franceschinis

    1. Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Karsten Wolf

    1. Institut für Informatik, Universität Rostock, Rostock, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5606)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PETRI NETS 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Component-Based Construction of Heterogeneous Real-Time Systems in Bip

      • Joseph Sifakis
      Pages 1-1

    2. Unifying Petri Net Semantics with Token Flows

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

    3. Reaction Systems: A Formal Framework for Processes

      • Grzegorz Rozenberg
      Pages 22-22

  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. Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication

      • Fernando Rosa-Velardo, David de Frutos-Escrig
      Pages 63-82

    4. Pomset Languages of Finite Step Transition Systems

      • Jean Fanchon, Rémi Morin
      Pages 83-102

    5. Deficiency Zero Petri Nets and Product Form

      • Jean Mairesse, Hoang-Thach Nguyen
      Pages 103-122

    6. Bisimilarity Minimization in O(m logn) Time

      • Antti Valmari
      Pages 123-142

    7. P-Semiflow Computation with Decision Diagrams

      • Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan
      Pages 143-162

    8. Orthomodular Lattices in Occurrence Nets

      • Luca Bernardinello, Lucia Pomello, Stefania Rombolà
      Pages 163-182

    9. Hasse Diagram Generators and Petri Nets

      • Mateus de Oliveira Oliveira
      Pages 183-203

    10. Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed

      • Isabel Demongodin
      Pages 204-222

    11. Oclets – Scenario-Based Modeling with Petri Nets

      • Dirk Fahland
      Pages 223-242

    12. Hornets: Nets within Nets Combined with Net Algebra

      • Michael Köhler-Bußmeier
      Pages 243-262

    13. Monotonicity in Service Orchestrations

      • Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
      Pages 263-282

    14. 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
Back to top

Other volumes

  1. Applications and Theory of Petri Nets

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

Publish with us

Policies and ethics

Back to top