19. ICATPN 1998: Lisbon, Portugal

@proceedings{DBLP:conf/apn/1998,
  editor    = {J{\"o}rg Desel and
               Manuel Silva},
  title     = {Application and Theory of Petri Nets 1998, 19th International
               Conference, ICATPN '98, Lisbon, Portugal, June  22-26, 1998,
               Proceedings},
  booktitle = {ICATPN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1420},
  year      = {1998},
  isbn      = {3-540-64677-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Full Papers

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