Applications and Theory of Petri Nets

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

  • Giuliana Franceschinis
  • Karsten Wolf
Conference proceedings PETRI NETS 2009

DOI: 10.1007/978-3-642-02424-5

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Full Papers

    1. Wolfgang Reisig
      Pages 23-42
    2. Ekkart Kindler, Laure Petrucci
      Pages 43-62
    3. Jean Fanchon, Rémi Morin
      Pages 83-102
    4. Jean Mairesse, Hoang-Thach Nguyen
      Pages 103-122
    5. Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan
      Pages 143-162
    6. Luca Bernardinello, Lucia Pomello, Stefania Rombolà
      Pages 163-182
    7. Mateus de Oliveira Oliveira
      Pages 183-203
    8. Michael Köhler-Bußmeier
      Pages 243-262
    9. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
      Pages 263-282
    10. 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. Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
      Pages 303-312
    2. Michael Westergaard, Lars Michael Kristensen
      Pages 313-322

About these proceedings

Introduction

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

Editors and affiliations

  • Giuliana Franceschinis
    • 1
  • Karsten Wolf
    • 2
  1. 1.Dipartimento di InformaticaUniversità del Piemonte OrientaleAlessandriaItaly
  2. 2.Institut für InformatikUniversität RostockRostockGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02423-8
  • Online ISBN 978-3-642-02424-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349