Advertisement

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
    13. Niels Lohmann, Peter Massuthe, Karsten Wolf
      Pages 321-341
    14. Robert Lorenz, Sebastian Mauser, Robin Bergenthum
      Pages 342-361
    15. Fernando Rosa-Velardo, David de Frutos-Escrig
      Pages 402-422
    16. Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
      Pages 445-464
    17. Hsu-Chun Yen, Chien-Liang Chen
      Pages 465-483
  4. Tool Papers

    1. W. M. P. van der Aalst, B. F. van Dongen, C. W. Günther, R. S. Mans, A. K. Alves de Medeiros, A. Rozinat et al.
      Pages 484-494
    2. Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
      Pages 495-504
    3. Ivan Poliakov, Danil Sokolov, Andrey Mokhov
      Pages 505-514
  5. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications