Table of contents

  1. Front Matter
  2. Frits Feldbrugge, Kurt Jensen
    Pages 20-61
  3. Wolfgang Reisig
    Pages 62-96
  4. Klaus Voss
    Pages 97-134
  5. R. Valette
    Pages 191-217
  6. Rüdiger Valk
    Pages 218-233
  7. Klaus Voss
    Pages 234-257
  8. Jean -Loup Baer
    Pages 258-277
  9. Antoni Mazurkiewicz
    Pages 278-324
  10. Glynn Winskel
    Pages 325-392
  11. Mogens Nielsen
    Pages 393-415
  12. Eike Best
    Pages 416-440
  13. Ernst-Rüdiger Olderog
    Pages 441-465
  14. C. A. Petri
    Pages 499-514
  15. Back Matter

Other volumes

  1. Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
  2. Petri Nets: Applications and Relationships to Other Models of Concurrency
    Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

About these proceedings

Introduction

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.

Keywords

Area Petri net Volume communicating sequential process computer science control data flow design function learning modelling models of computation systems design tool verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-17906-2
  • Copyright Information Springer-Verlag 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-17906-1
  • Online ISBN 978-3-540-47926-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences