Advertisement

A Primer in Petri Net Design

  • Wolfgang Reisig

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

Introduction

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.

Keywords

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

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-75329-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-75331-2
  • Online ISBN 978-3-642-75329-9
  • Series Print ISSN 1431-7869
  • Buy this book on publisher's site