default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th 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
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.
last updated on 2024-12-23 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
