Skip to main content
  • Conference proceedings
  • © 2002

Application and Theory of Petri Nets 2002

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

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

Conference series link(s): ICATPN: International Conference on Application and Theory of Petri Nets

Conference proceedings info: ICATPN 2002.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (25 papers)

  1. Front Matter

    Pages I-X
  2. Regular Papers

    1. Quasi-Static Scheduling of Independent Tasks for Reactive Systems

      • Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
      Pages 80-100
    2. Data Decision Diagrams for Petri Net Analysis

      • Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier
      Pages 101-120
    3. Real-Time Synchronised Petri Nets

      • Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
      Pages 142-162
    4. Computing a Finite Prefix of a Time Petri Net

      • Hans Fleischhack, Christian Stehno
      Pages 163-181
    5. Verification of a Revised WAP Wireless Transaction Protocol

      • Steven Gordon, Lars Michael Kristensen, Jonathan Billington
      Pages 182-202
    6. Characterizing Liveness of Petri Nets in Terms of Siphons

      • Li Jiao, To-Yat Cheung, Weiming Lu
      Pages 203-216
    7. Petri Nets, Situations, and Automata

      • Ekkart Kindler
      Pages 217-236
    8. Reproducibility of the Empty Marking

      • Kurt Lautenbach
      Pages 237-253
    9. Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

      • Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
      Pages 294-313

Editors and Affiliations

  • Division of Informatics, University of Edinburgh, Edinburgh, UK

    Javier Esparza

  • Department of Computer Science, University of Adelaide, Adelaide, Australia

    Charles Lakos

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access