Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. W. Brauer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. W. Reisig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. G. Rozenberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 255)

Included in the following conference series:

Conference proceedings info: ACPN 1986.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction to Part II

    Pages 1-1

  3. Computer tools for construction, modification and analysis of Petri nets

    • Kurt Jensen
    Pages 3-19

  4. Petri net tool overview 1986

    • Frits Feldbrugge, Kurt Jensen
    Pages 20-61

  5. Petri nets in software engineering

    • Wolfgang Reisig
    Pages 62-96

  6. Nets in data bases

    • Klaus Voss
    Pages 97-134

  7. Petri net based models in the specification and verification of protocols

    • Michel Diaz
    Pages 135-170

  8. Human-machine interaction and role/function/action-nets

    • Horst Oberquelle
    Pages 171-190

  9. Nets in production systems

    • R. Valette
    Pages 191-217

  10. Nets in computer organization

    • Rüdiger Valk
    Pages 218-233

  11. Nets in office automation

    • Klaus Voss
    Pages 234-257

  12. Modelling architectural features with petrinets

    • Jean -Loup Baer
    Pages 258-277

  13. Trace theory

    • Antoni Mazurkiewicz
    Pages 278-324

  14. Event structures

    • Glynn Winskel
    Pages 325-392

  15. CCS — and its relationship to net theory

    • Mogens Nielsen
    Pages 393-415

  16. COSY: Its relation to nets and to CSP

    • Eike Best
    Pages 416-440

  17. TCSP: Theory of communicating sequential processes

    • Ernst-Rüdiger Olderog
    Pages 441-465

  18. Reduction, data flow and control flow models of computation

    • Werner Kluge
    Pages 466-498

  19. “Forgotten topics” of net theory

    • C. A. Petri
    Pages 499-514

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Petri Nets: Central Models and Their Properties

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

Keywords

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.

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: W. Brauer, W. Reisig, G. Rozenberg

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-17906-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-17906-1Published: 26 May 1987

  • eBook ISBN: 978-3-540-47926-0Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 519

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation