Advertisement

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

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

Table of contents

  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
    10. Mogens Nielsen, P. S. Thiagarajan
      Pages 335-351
    11. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
      Pages 352-373
    12. Valentín Valero, Juan José Pardo, Fernando Cuartero
      Pages 414-433
  4. Tool Presentation

  5. Back Matter
    Pages 445-445

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

  • DOI https://doi.org/10.1007/3-540-48068-4
  • 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications