Table of contents

  1. Front Matter
  2. Eike Best, Raymond Devillers, Jon G. Hall
    Pages 21-69
  3. Manfred Broy, Thomas Streicher
    Pages 70-88
  4. Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz
    Pages 89-107
  5. Richard Hopkins, Jon Hall, Oliver Botti
    Pages 179-214
  6. N. W. Keesmaat, H. C. M. Kleijn
    Pages 215-250
  7. Maciej Koutny
    Pages 251-266
  8. Luca Bernardinello, Fiorella De Cindio
    Pages 304-351
  9. Paul Gastin, Antoine Petit
    Pages 392-409
  10. L. Pomello, G. Rozenberg, C. Simone
    Pages 410-472
  11. Back Matter

About these proceedings


The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume have been selected from papers submitted by participants in DEMON. The papers have been refereed and appear in revised form. The volume contains technical contributions giving insights into a number of major achievements of the DEMON project. It also contains four survey papers covering important research areas. The volume begins witha description of DEMON given by its coordinator E. Best.


Colored Petri Nets Gefärbte Petrinetze Net Design Netzentwurf Petri Net Models Verteilte Systeme algebra calculus complexity concurrency modelling performance petri net program semantics semantics

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment