Conference programme
Wednesday
| Time | Topic |
|---|---|
| 9:00-9:30 | Opening Session |
| 9:30-10:30 | Invited lecture by Wil van der Aalst (Eindhoven, The
Netherlands) Making Work Flow: On the Application of Petri nets to Business Process Management |
| 10:30-11:00 | Coffee break |
| 11:00-11:30 | Token-controlled place refinement in hierarchical Petri nets
with application to active document workflow; David G. Stork and Rob van Glabbeek |
| 11:30-12:00 | Petri Nets, Situations and Automata, Ekkart Kindler |
| 12:00-12:30 | External Choice Robustness, Juliane Denhert |
| 12:30-14:00 | Lunch |
| 14:00-15:00 | Invited Lecture by Ian Hayes (University of Queensland,
Australia) The real-time refinement calculus: A foundation for machine-independent real-time programming |
| 15:00-15:30 | Coffee break |
| 15:30-16:00 | Translating TPAL Specifications into Timed Petri Nets, Valentin Valero, Juan Jose Pardo, Fernando Cuartero |
| 16:00-16:30 | Computing the finite prefix of a time Petri net, Hans Fleischhack and Christian Stehno |
| 16:30-17:00 | Real-Time Synchronised Petri Nets, Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs and Nicolas Guelfi |
| 17:00-17:15 | Close |
Thursday
| Time | Topic |
|---|---|
| 9:00-10:00 | Invited lecture by Alex Yakovlev (University of Newcastle
upon Tyne, UK) Is the Die cast for the token game? |
| 10:00-10:30 | Coffee break |
| 10:30-11:00 | Quasi-static scheduling of independent tasks for reactive
systems, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone and Yosinori Watanabe |
| 11:00-11:30 | Modelling and analysis of multi-class threshold-based queues
with hysteresis using Stochastic Petri Nets, Louis-Marie Le Ny and Bruno Tuffin |
| 11:30-12:00 | MARIA: Modular Reachability Analyser for Algebraic System
Nets, Marko Makela |
| 12:00-14:00 | Lunch |
| 14:00-15:00 | Invited Lecture by Jrg
Desel (Katholische Univ. Eichstt,
Germany.) Model Validation - A Theoretical Issue? |
| 15:00-15:30 | Coffee break |
| 15:30-16:00 | Analysing Infinite-State Systems by Combining Equivalence
Reduction and the Sweep-Line Method, Thomas Mailund |
| 16:00-16:30 | Data Decision Diagrams for Petri Nets Analysis, Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud and Pierre-Andr Wacrenier |
| 16:30-17:00 | Transition Refinement for Deriving a Distributed Minimum
Weight Spanning Tree Algorithm, Sibylle Peuker |
| 17:00-17:15 | Close |
Friday
| Time | Topic |
|---|---|
| 9:00-10:00 | Invited lecture by Charles Lakos (Uni of Adelaide,
Australia) The Challenge of Object Orientation for the Analysis of Concurrent Systems |
| 10:00-10:30 | Coffee break |
| 10:30-11:00 | Modelling of Features and Feature Interactions in Nokia
Mobile Phones using Coloured Petri Nets, Louise Lorentsen, Antti-Pekka Tuovinen and Jianli Xu |
| 11:00-11:30 | Verification of a Revised WAP Wireless Transaction Protocol, Steven Gordon, Lars Michael Kristensen and Jonathan Billington |
| 11:30-12:00 | Tackling the Infinite State Space of a Multimedia Control
Protocol Service Specification, Lin Liu and Jonathan Billington |
| 12:00-12:30 | A Formal Service Specification for the Internet Open Trading
Protocol, Chun Ouyang, Lars Michael Kristensen and Jonathan Billington |
| 12:30-14:00 | Lunch |
| 14:00-15:00 | Invited Lecture by P.S. Thiagarajan (Madras, India) Abstract Cyclic Communicating Processes: A Logical View |
| 15:00-15:30 | Coffee break |
| 15:30-16:00 | Reproducibility of the Empty Marking, Kurt Lautenbach |
| 16:00-16:30 | Regular Event Structures and Finite Petri Nets: The
Conflict-Free Case, Nogens Nielsen and P.S. Thiagarajan |
| 16:30-17:00 | Characterising Liveness of Petri Nets in terms of Siphons, Li Jiao, To-yat Cheung and Weiming Lu |
| 17:00-17:15 | Close |