![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
19th ICATPN 1998: Lisbon, Portugal
- Jörg Desel, Manuel Silva Suárez:
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.