Front matter
1-22
Making Work Flow: On the Application of Petri Nets to Business Process Management
Wil M. P. van der Aalst
393-410
Model Validation — A Theoretical Issue?
Jörg Desel
44-58
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
Ian J. Hayes
59-67
The Challenge of Object Orientation for the Analysis of Concurrent Systems
Charles Lakos
127-134
Abstract Cyclic Communicating Processes: A Logical View
P. S. Thiagarajan
70-79
Is the Die Cast for the Token Game?
Alex Yakovlev
489-517
Quasi-Static Scheduling of Independent Tasks for Reactive Systems
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone and Yosinori Watanabe
129-158
Data Decision Diagrams for Petri Net Analysis
Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud and Pierre-André Wacrenier
425-450
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
Juliane Dehnert
281-298
Real-Time Synchronised Petri Nets
Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs and Nicolas Guelfi
79-90
Computing a Finite Prefix of a Time Petri Net
Hans Fleischhack and Christian Stehno
103-128
Verification of a Revised WAP Wireless Transaction Protocol
Steven Gordon, Lars Michael Kristensen and Jonathan Billington
203-216
Characterizing Liveness of Petri Nets in Terms of Siphons
Li Jiao, To-Yat Cheung and Weiming Lu
137-156
Petri Nets, Situations, and Automata
Ekkart Kindler
281-300
Reproducibility of the Empty Marking
Kurt Lautenbach
254-272
Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets
Louis-Marie Le Ny and Bruno Tuffin
317-331
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification
Lin Liu and Jonathan Billington
15-45
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
Louise Lorentsen, Antti-Pekka Tuovinen and Jianli Xu
451-466
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
Thomas Mailund
467-488
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case
Mogens Nielsen and P. S. Thiagarajan
77-108
A Formal Service Specification for the Internet Open Trading Protocol
Chun Ouyang, Lars Michael Kristensen and Jonathan Billington
374-393
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm
Sibylle Peuker
197-212
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow
David G. Stork and Rob van Glabbeek
414-433
Translating TPAL Specifications into Timed-Arc Petri Nets
Valentín Valero, Juan José Pardo and Fernando Cuartero
187-219
Maria: Modular Reachability Analyser for Algebraic System Nets
Marko Mäkelä
Back matter