© 1992

A Primer in Petri Net Design

Conference proceedings

Part of the Springer Compass International book series (COMPASS)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Wolfgang Reisig
    Pages 1-3
  3. Wolfgang Reisig
    Pages 5-10
  4. Wolfgang Reisig
    Pages 11-24
  5. Wolfgang Reisig
    Pages 25-33
  6. Wolfgang Reisig
    Pages 35-59
  7. Wolfgang Reisig
    Pages 61-63
  8. Wolfgang Reisig
    Pages 65-72
  9. Wolfgang Reisig
    Pages 73-83
  10. Wolfgang Reisig
    Pages 85-117
  11. Back Matter
    Pages 119-120

About these proceedings


Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.


Anforderungsanalyse Anforderungsanalysefo Petri net Petri nets Petrinetze Requirements-Engineering Softwre-Engineering Systemspezifikation design modeling requirements engineering software software engineering system specification validation

Authors and affiliations

  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Bibliographic information

  • Book Title A Primer in Petri Net Design
  • Authors Wolfgang Reisig
  • Series Title Springer Compass International
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-3-540-52044-3
  • Softcover ISBN 978-3-642-75331-2
  • eBook ISBN 978-3-642-75329-9
  • Series ISSN 1431-7869
  • Edition Number 1
  • Number of Pages XII, 120
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Software Engineering
    Database Management
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment