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 BibTeX

@proceedings{DBLP:conf/apn/1992d,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1992, The DEMON Project},
  booktitle = {Advances in Petri Nets: The DEMON Project},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {609},
  year      = {1992},
  isbn      = {3-540-55610-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Technical Contributions

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

Surveys

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