Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986

Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency

Editors: Brauer, Wilfried, Reisig, Wolfgang, Rozenberg, Grzegorz (Eds.)

Free Preview

Buy this book

eBook $59.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47926-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-540-17906-1
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (18 chapters)

Table of contents (18 chapters)
  • Introduction to Part II

    Pages 1-1

  • Computer tools for construction, modification and analysis of Petri nets

    Pages 3-19

    Jensen, Kurt

  • Petri net tool overview 1986

    Pages 20-61

    Feldbrugge, Frits (et al.)

  • Petri nets in software engineering

    Pages 62-96

    Reisig, Wolfgang

  • Nets in data bases

    Pages 97-134

    Voss, Klaus

Buy this book

eBook $59.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47926-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-540-17906-1
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Book Subtitle
Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency
Editors
  • Wilfried Brauer
  • Wolfgang Reisig
  • Grzegorz Rozenberg
Series Title
Lecture Notes in Computer Science
Series Volume
255
Copyright
1987
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47926-0
DOI
10.1007/3-540-17906-2
Softcover ISBN
978-3-540-17906-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 519
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.