19. ICATPN 1998:
Lisbon,
Portugal
Jörg Desel, Manuel Silva (Eds.):
Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings.
Lecture Notes in Computer Science 1420 Springer 1998, ISBN 3-540-64677-9 
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, Fernando 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
Last update Tue May 22 23:22:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
