default search action
Advances in Petri Nets 1992: The DEMON Project
- Grzegorz Rozenberg:
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
Surveys
- Luca Bernardinello, Fiorella de Cindio:
A survey of basic net models and modular net classes. 304-351 - Javier Campos, Manuel Silva Suárez:
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
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.