23. ICATPN 2002: Adelaide, Australia

Invited Papers

• Wil M. P. van der Aalst:
  Making Work Flow: On the Application of Petri Nets to Business Process Management. 1-22
  
• Jörg Desel:
  Model Validation - A Theoretical Issue? 23-43
  
• Ian J. Hayes:
  The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. 44-58
  
• Charles Lakos:
  The Challenge of Object Orientation for the Analysis of Concurrent Systems. 59-67
  
• P. S. Thiagarajan:
  Abstract Cyclic Communicating Processes: A Logical View. 68-69
  
• Alexandre Yakovlev:
  Is the Die Cast for the Token Game? 70-79
  

Regular Papers

• Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe:
  Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. 80-100
  
• Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier:
  Data Decision Diagrams for Petri Net Analysis. 101-120
  
• Juliane Dehnert:
  Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes. 121-141
  
• Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi:
  Real-Time Synchronised Petri Nets. 142-162
  
• Hans Fleischhack, Christian Stehno:
  Computing a Finite Prefix of a Time Petri Net. 163-181
  
• Steven Gordon, Lars Michael Kristensen, Jonathan Billington:
  Verification of a Revised WAP Wireless Transaction Protocol. 182-202
  
• Li Jiao, To-Yat Cheung, Weiming Lu:
  Characterizing Liveness of Petri Nets in Terms of Siphons. 203-216
  
• Ekkart Kindler:
  Petri Nets, Situations, and Automata. 217-236
  
• Kurt Lautenbach:
  Reproducibility of the Empty Marking. 237-253
  
• Louis-Marie Le Ny, Bruno Tuffin:
  Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets. 254-272
  
• Lin Liu, Jonathan Billington:
  Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. 273-293
  
• Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu:
  Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. 294-313
  
• Thomas Mailund:
  Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. 314-334
  
• Mogens Nielsen, P. S. Thiagarajan:
  Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. 335-351
  
• Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
  A Formal Service Specification for the Internet Open Trading Protocol. 352-373
  
• Sibylle Peuker:
  Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. 374-393
  
• David G. Stork, Rob J. van Glabbeek:
  Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. 394-413
  
• Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero:
  Translating TPAL Specifications into Timed-Arc Petri Nets. 414-433
  

Tool Presentation

• Marko Mäkelä:
  Maria: Modular Reachability Analyser for Algebraic System Nets. 434-444