Skip to main content
SpringerLink
Log in

Petri Nets: Central Models and Their Properties

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

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. W. Brauer

    1. Institut für Informatik, Technische Universität München, München 2, Federal Republic of Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. W. Reisig

    1. Institut für Methodische Grundlagen, Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin 1, Federal Republic of Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. G. Rozenberg

    1. Subfaculteit Wiskunde en Informatica, Rijksuniversiteit te Leiden, Leiden, The Netherlands

    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 254)

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
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

    Pages N2-X
    Download chapter PDF

  2. Introduction to Part I

    1. Introduction to Part I

      • W. Brauer, W. Reisig, G. Rozenberg
      Pages 1-1

  3. Prologue

    1. Front Matter

      Pages 3-3
      Download chapter PDF

    2. Concurrency Theory

      • Carl Adam Petri
      Pages 4-24

  4. Elementary Net Systems — Fundamentals

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Elementary Net Systems

      • P. S. Thiagarajan
      Pages 26-59

    3. Behaviour of Elementary Net Systems

      • G. Rozenberg
      Pages 60-94

    4. Non-Sequential Processes

      • César Fernández
      Pages 95-115

  5. Place/Transition Systems — Fundamentals

    1. Front Matter

      Pages 116-116
      Download chapter PDF

    2. Place/Transition Systems

      • Wolfgang Reisig
      Pages 117-141

    3. Linear Algebraic Techniques for Place/Transition Nets

      • Kurt Lautenbach
      Pages 142-167

    4. Structure Theory of Petri Nets: the Free Choice Hiatus

      • Eike Best
      Pages 168-205

  6. High-Level Nets — Fundamentals

    1. Front Matter

      Pages 206-206
      Download chapter PDF

    2. Predicate/Transition Nets

      • Hartmann J. Genrich
      Pages 207-247

    3. Coloured Petri Nets

      • Kurt Jensen
      Pages 248-299

    4. Analysing Nets by the Invariant Method

      • G. Memmi, J. Vautherin
      Pages 300-336

  7. Special Topics

    1. Front Matter

      Pages 337-337
      Download chapter PDF

    2. Synchronic Distance

      • Ursula Goltz
      Pages 338-358

    3. Transformations and Decompositions of Nets

      • G. Berthelot
      Pages 359-376

    4. Infinite Behaviour and Fairness

      • Rudiger Valk
      Pages 377-396
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

Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in­ formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.

Editors and Affiliations

  • Institut für Informatik, Technische Universität München, München 2, Federal Republic of Germany

    W. Brauer

  • Institut für Methodische Grundlagen, Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin 1, Federal Republic of Germany

    W. Reisig

  • Subfaculteit Wiskunde en Informatica, Rijksuniversiteit te Leiden, Leiden, The Netherlands

    G. Rozenberg

Bibliographic Information

  • Book Title: Petri Nets: Central Models and Their Properties

  • Book Subtitle: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

  • Editors: W. Brauer, W. Reisig, G. Rozenberg

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-17905-4Published: 26 May 1987

  • eBook ISBN: 978-3-540-47919-2Published: 11 April 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 481

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation