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

  • W. Brauer
  • W. Reisig
  • G. Rozenberg
Conference proceedings ACPN 1986

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

Table of contents

  1. Front Matter
    Pages N2-X
  2. Introduction to Part I

    1. W. Brauer, W. Reisig, G. Rozenberg
      Pages 1-1
  3. Prologue

    1. Front Matter
      Pages 3-3
    2. Carl Adam Petri
      Pages 4-24
  4. Elementary Net Systems — Fundamentals

    1. Front Matter
      Pages 25-25
    2. P. S. Thiagarajan
      Pages 26-59
    3. G. Rozenberg
      Pages 60-94
    4. César Fernández
      Pages 95-115
  5. Place/Transition Systems — Fundamentals

    1. Front Matter
      Pages 116-116
    2. Wolfgang Reisig
      Pages 117-141
  6. High-Level Nets — Fundamentals

    1. Front Matter
      Pages 206-206
    2. Hartmann J. Genrich
      Pages 207-247
    3. Kurt Jensen
      Pages 248-299
    4. G. Memmi, J. Vautherin
      Pages 300-336
  7. Special Topics

    1. Front Matter
      Pages 337-337
    2. Ursula Goltz
      Pages 338-358
    3. G. Berthelot
      Pages 359-376
    4. Rudiger Valk
      Pages 377-396
    5. Matthias Jantzen
      Pages 397-412
    6. Matthias Jantzen
      Pages 413-434
  8. Other Petri Net Models

    1. Front Matter
      Pages 435-435
    2. Gérard Roucairol
      Pages 436-459
    3. Anastasia Pagnoni
      Pages 460-478
  9. Back Matter
    Pages 479-481

Other volumes

  1. 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
  2. Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

About these proceedings


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.


Area Petri net Prolog Volume computer computer science design form framework learning systems design

Editors and affiliations

  • W. Brauer
    • 1
  • W. Reisig
    • 2
  • G. Rozenberg
    • 3
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Federal Republic of Germany
  2. 2.Institut für Methodische GrundlagenGesellschaft für Mathematik und Datenverarbeitung mbHSt. Augustin 1Federal Republic of Germany
  3. 3.Subfaculteit Wiskunde en InformaticaRijksuniversiteit te LeidenLeidenThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-17905-4
  • Online ISBN 978-3-540-47919-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site