Advertisement

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

  • Book Title Petri Nets: Applications and Relationships to Other Models of Concurrency
  • Book Subtitle Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
  • Editors Wilfried Brauer
    Wolfgang Reisig
    Grzegorz Rozenberg
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-17906-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-17906-1
  • eBook ISBN 978-3-540-47926-0
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages X, 519
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Computer Communication Networks
  • Buy this book on publisher's site
Industry Sectors
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering