Application and Theory of Petri Nets 2002

23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings

  • Javier Esparza
  • Charles Lakos
Conference proceedings ICATPN 2002

DOI: 10.1007/3-540-48068-4

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

Table of contents (25 papers)

  1. Front Matter
    Pages I-X
  2. Invited Papers

  3. Regular Papers

    1. Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
      Pages 80-100
    2. Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier
      Pages 101-120
    3. Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
      Pages 142-162
    4. Hans Fleischhack, Christian Stehno
      Pages 163-181
    5. Steven Gordon, Lars Michael Kristensen, Jonathan Billington
      Pages 182-202
    6. Li Jiao, To-Yat Cheung, Weiming Lu
      Pages 203-216
    7. Ekkart Kindler
      Pages 217-236
    8. Kurt Lautenbach
      Pages 237-253
    9. Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
      Pages 294-313

About these proceedings

Keywords

Multimedia Petri nets System algorithms automata colored petri nets distributed computing distributed programming flow charts model checking petri net programming stochastic petri nets timed petri nets verification

Editors and affiliations

  • Javier Esparza
    • 1
  • Charles Lakos
    • 2
  1. 1.Division of InformaticsUniversity of EdinburghEdinburghUK
  2. 2.Department of Computer ScienceUniversity of AdelaideAdelaideAustralia

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43787-1
  • Online ISBN 978-3-540-48068-6
  • Series Print ISSN 0302-9743