19. ICATPN 1998: Lisbon, Portugal

Invited Papers

• Rüdiger Valk:
  Petri Nets as Token Objects: An Introduction to Elementary Object Nets. 1-25
  
• André Arnold:
  Synchronized Products of Transition Systems and Their Analysis. 26-27
  
• Giovanni Chiola:
  Manual and Automatic Exploitation of Symmetries in SPN Models. 28-43
  

Full Papers

• Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli:
  Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models. 44-63
  
• Joaquin Ezpeleta, F. García-Vallés, José Manuel Colom:
  A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. 64-83
  
• Kathi Fisler, Claude Girault:
  Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. 84-103
  
• Lars Michael Kristensen, Antti Valmari:
  Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. 104-123
  
• Kimmo Varpaaniemi:
  On Stubborn Sets in the Verification of Linear Time Temporal Properties. 124-143
  
• Hans Fleischhack, Bernd Grahlmann:
  A Compositional Petri Net Semantics for SDL. 144-164
  
• Martin Hesketh, Maciej Koutny:
  An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. 165-184
  
• Elmar Bihler, Walter Vogler:
  Efficiency of Token-Passing MUTEX-Solutions - Some Experiments. 185-204
  
• Mark-Oliver Stehr:
  Thinking in Cycles. 205-225
  
• Peter Buchholz:
  Iterative Decomposition and Aggregation of Labeled GSPNs. 226-245
  
• Marco Gribaudo, Matteo Sereno:
  On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking. 246-265
  
• Elisa Bertino, Giovanni Chiola, Luigi V. Mancini:
  Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. 266-285
  
• Peter Langner, Christoph Schneider, Joachim Wehler:
  Petri Net Based Certification of Event-Driven Process Chains. 286-305
  
• Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann:
  M-net Calculus Based Semantics for Triggers. 306-325
  
• Rossano Gaeta, Marco Ajmone Marsan:
  SWN Analysis and Simulation of Large Knockout ATM Switches. 326-344
  
• Ekkart Kindler, Hagen Völzer:
  Flexibility in Algebraic Nets. 345-364
  
• Ekkart Kindler, Tobias Vesper:
  ESTL: A Temporal Logic for Events and States. 365-384