Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets 2002

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Javier Esparza

    1. Division of Informatics, University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Charles Lakos

    1. Department of Computer Science, University of Adelaide, Adelaide, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ICATPN 2002.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (25 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  3. 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. Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes

      • Juliane Dehnert
      Pages 121-141

    4. Real-Time Synchronised Petri Nets

      • Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
      Pages 142-162

    5. Computing a Finite Prefix of a Time Petri Net

      • Hans Fleischhack, Christian Stehno
      Pages 163-181

    6. Verification of a Revised WAP Wireless Transaction Protocol

      • Steven Gordon, Lars Michael Kristensen, Jonathan Billington
      Pages 182-202

    7. Characterizing Liveness of Petri Nets in Terms of Siphons

      • Li Jiao, To-Yat Cheung, Weiming Lu
      Pages 203-216

    8. Petri Nets, Situations, and Automata

      • Ekkart Kindler
      Pages 217-236

    9. Reproducibility of the Empty Marking

      • Kurt Lautenbach
      Pages 237-253

    10. Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets

      • Louis-Marie Le Ny, Bruno Tuffin
      Pages 254-272

    11. Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification

      • Lin Liu, Jonathan Billington
      Pages 273-293

    12. Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

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

    13. Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method

      • Thomas Mailund
      Pages 314-334
Back to top

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

Publish with us

Policies and ethics

Back to top

Search

Navigation