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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/3-540-55610-9
  • Copyright Information Springer-Verlag 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55610-7
  • Online ISBN 978-3-540-47258-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book