| Invited Papers |
| Petri Nets as Token Objects - An Introduction to Elementary Object Nets / R. Valk |
| Synchronized Products of Transition Systems and Their Analysis / A. Arnold |
| Manual and Automatic Exploitation of Symmetries in SPN Models / G. Chiola |
| Full Papers |
| Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models / M. Ajmone Marsan ; C.-F. Chiasserini ; A. Fumagalli |
| A Class of Well Structured Petri Nets for Flexible Manufacturing Systems / J. Ezpeleta ; F. Garc'ia-Vallés ; J.M. Colom |
| Modelling and Model Checking of Distributed Shared Memory Consistency Protocol / K. Fisler ; C. Girault |
| Finding Stubborn Sets of Coloured Petri Nets Without Unfolding / L.M. Kristensen ; A. Valmari |
| On Stubborn Sets in the Verification of Linear Time Temporal Properties / K. Varpaaniemi |
| A Compositional Petri Net Semantics for SDL / H. Fleischhack ; B. Grahlmann |
| An Axiomatisation of Duplication Equivalence in the Petri Box Calculus / M. Hesketh ; M. Koutny |
| Efficiency of Token-Passing MUTEX-Solutions - Some Experiments / E. Bihler ; W. Vogler |
| Thinking in Cycles / M.-O. Stehr |
| Iterative Decomposition and Aggregation of Labeled GSPNs / P. Buchholz |
| On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking / M. Gribaudo ; M. Sereno |
| Deadlock Detection in the Face of Transaction and Data Dependencies / E. Bertino ; L.V. Mancini |
| Petri Net Based Certification of Event-Driven Process Chains / P. Langner ; Chr. Schneider ; J. Wehler |
| M-net Calculus Based Semantics for Triggers / V. Benzaken ; N. Hugon ; H. Klaudel ; E. Pelz ; R.-C. Riemann |
| SWN Analysis and Simulation of Large Knockout ATM Switches / R. Gaeta |
| Flexibility in Algebraic Nets / E. Kindler ; H. Völzer |
| ESTL: A Temporal Logic for Events and States / T. Vesper |
| Author Index |
| Invited Papers |
| Petri Nets as Token Objects - An Introduction to Elementary Object Nets / R. Valk |
| Synchronized Products of Transition Systems and Their Analysis / A. Arnold |
| Manual and Automatic Exploitation of Symmetries in SPN Models / G. Chiola |
| Full Papers |
| Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models / M. Ajmone Marsan ; C.-F. Chiasserini ; A. Fumagalli |
