Petri Nets and Other Models of Concurrency – ICATPN 2007

28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

  • Editors
  • Jetty Kleijn
  • Alex Yakovlev
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4546)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Sadatoshi Kumagai, Toshiyuki Miyamoto
      Pages 3-19
    2. Antoni Mazurkiewicz
      Pages 20-23
    3. Karsten Wolf
      Pages 29-42
  3. Full Papers

    1. M. Beccuti, G. Franceschinis, S. Haddad
      Pages 43-62
    2. Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
      Pages 83-103
    3. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
      Pages 104-123
    4. Pierre Ganty, Jean-François Raskin, Laurent Van Begin
      Pages 124-143
    5. Kyller Gorgônio, Jordi Cortadella, Fei Xia
      Pages 144-163
    6. Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Wil van der Aalst
      Pages 164-183
    7. Gabriel Juhás, Robert Lorenz, Sebastian Mauser
      Pages 184-203
    8. Victor Khomenko, Mark Schaefer
      Pages 223-243
    9. Michael Köhler, Berndt Farwer
      Pages 244-262
    10. Michael Köhler, Heiko Rölke
      Pages 263-280
    11. Maciej Koutny, Marta Pietkiewicz-Koutny
      Pages 281-300
    12. Ranko Lazić, Tom Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
      Pages 301-320

About these proceedings

Keywords

Variable bounded Petri nets calculus colored Petri nets concurrent systems distributed systems dynamic Petri nets formal methods fuzzy Petri nets model checking modeling nets-within-nets petri net verification visualization

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73094-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73093-4
  • Online ISBN 978-3-540-73094-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book