Advances in Petri Nets 1992: The DEMON Project

Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1992, The DEMON Project. Lecture Notes in Computer Science 609 Springer 1992, ISBN 3-540-55610-9

Eike Best:
Esprit Basic Research Action 3148 DEMON (design methods based on nets). 1-20

Technical Contributions

Eike Best, Raymond R. Devillers, Jon G. Hall:
The box calculus: a new causal algebra with multi-label communication. 21-69
Manfred Broy, Thomas Streicher:
Modular functional modelling of Petri nets with individual tokens. 70-88
Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz:
Interleaving semantics and action refinement with atomic choice. 89-107
Raymond R. Devillers:
Maximality preservation and the ST-idea for action refinements. 108-151
Jean Fanchon:
A fifo-net model for processes with asynchronous communication. 152-178
Richard P. Hopkins, Jon G. Hall, Oliver Botti:
A basic-net algebra for program semantics and its application to OCCAM. 179-214
N. W. Keesmaat, H. C. M. Kleijn:
The effect of vector synchronization: residue and loss. 215-250
Maciej Koutny:
Modelling systems with dynamic priorities. 251-266
Brigitte Rozoy:
On distributed languages and models for concurrency. 267-291
Walter Vogler:
Partial words versus processes: a short comparison. 292-303

Luca Bernardinello, Fiorella de Cindio:
A survey of basic net models and modular net classes. 304-351
Javier Campos, Manuel Silva:
Structural techniques and performance bounds of stochastic Petri net models. 352-391
Paul Gastin, Antoine Petit:
A survey of recognizable languages with infinite traces. 392-409
Lucia Pomello, Grzegorz Rozenberg, Carla Simone:
A survey of equivalence notions for net based systems. 410-472