Application and theory of Petri nets 1998. 19th international conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998. Proceedings. (English) Zbl 1499.68015
Lecture Notes in Computer Science 1420. Berlin: Springer (ISBN 978-3-540-64677-8/pbk; 978-3-540-69108-2/ebook). viii, 385 p. (1998).
Show indexed articles as search result.
The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1499.68007].Indexed articles:
Valk, Rüdiger, Petri nets as token objects. An introduction to elementary object nets, 1-24 [Zbl 1508.68254]
Chiola, Giovanni, Manual and automatic exploitation of symmetries in SPN models, 28-43 [Zbl 1510.68054]
Ezpeleta, J.; García-Vallés, F.; Colom, J. M., A class of well structured Petri nets for flexible manufacturing systems, 64-83 [Zbl 1510.68055]
Kristensen, Lars Michael; Valmari, Antti, Finding stubborn sets of coloured Petri nets without unfolding, 104-123 [Zbl 1510.68063]
Varpaaniemi, Kimmo, On stubborn sets in the verification of linear time temporal properties, 124-143 [Zbl 1510.68045]
Fleischhack, Hans; Grahlmann, Bernd, A compositional Petri net semantics for SDL, 144-164 [Zbl 1510.68056]
Hesketh, Martin; Koutny, Maciej, An axiomatisation of duplication equivalence in the Petri box calculus, 165-184 [Zbl 1510.68060]
Bihler, Elmar; Vogler, Walter, Efficiency of token-passing MUTEX-solutions – some experiments, 185-204 [Zbl 1510.68052]
Stehr, Mark-Oliver, Thinking in cycles, 205-225 [Zbl 1510.68070]
Buchholz, Peter, Iterative decomposition and aggregation of labeled GSPNs, 226-245 [Zbl 1510.68053]
Gribaudo, Marco; Sereno, Matteo, On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking, 246-265 [Zbl 1510.68057]
Bertino, E.; Chiola, G.; Mancini, L. V., Deadlock detection in the face of transaction and data dependencies, 266-285 [Zbl 1510.68050]
Langner, Peter; Schneider, Christoph; Wehler, Joachim, Petri net based certification of event-driven process chains, 286-305 [Zbl 1510.68066]
Benzaken, Véronique; Hugon, Nicolas; Klaudel, Hanna; Pelz, Elisabeth; Riemann, Robert-C., M-net calculus based semantics for triggers, 306-325 [Zbl 1510.68020]
Kindler, Ekkart; Völzer, Hagen, Flexibility in algebraic nets, 345-364 [Zbl 1523.68043]
Kindler, Ekkart; Vesper, Tobias, ESTL: a temporal logic for events and states, 365-384 [Zbl 1510.68042]
MSC:
| 68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
| 68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
| 00B25 | Proceedings of conferences of miscellaneous specific interest |
