Petri nets in software engineering

  • Wolfgang Reisig
Section 7 Application Of Nets
Part of the Lecture Notes in Computer Science book series (LNCS, volume 255)


The central issue of this contribution is a methodology for the use of nets in practical systems design. We show how nets of channels and agencies allow for a continuous and systematic transition from informal and unprecise to precise and formal specifications. This development methodology leads to the representation of dynamic systems behaviour (using Pr/T-Nets) which is apt to rapid prototyping and formal correctness proofs.

This net-based design methodology covers a very broad spectrum of the software lifecycle without the need of switching to a different representation technique. Indeed this spectrum is broader than that of many other methods, such as SADT, Jackson Structured Design or Abstract Data Types.

Key Words

Systematic System Design Stepwise Refinement and Embedding Consistency and Completeness of Designs Relationship to other SE methods 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Encyclopedia]
    Encyclopedia of Computer Science Engineering, A. Ralston (ed.), van Nostrand Reinhold, Comp., New YorkGoogle Scholar
  2. [Genrich, Stankiewicz-Wiechno 80]
    H.J. Genrich, E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. LNCS 84: Net Theory and Applications. W. Brauer (ed.) Springer-Verlag, pp. 519–535 (1980)Google Scholar
  3. [Jensen 86]
    Kurt Jensen: Computer Tools for Construction, Modification and Analysis of Petri Nets. this volumeGoogle Scholar
  4. [Petri 76]
    C.A. Petri: Interpretations of Net Theory. Gesellschaft für Mathematik und Datenverarbeitung, Internal Report 75-07, Second, revised edition 1976Google Scholar
  5. [Reisig 83]
    W. Reisig: System Design Using Petri Nets. Informatik-Fachberichte 74: Requirements Engineering. Hommel, Krönig (eds.) Springer-Verlag, pp. 29–41, (1983)Google Scholar
  6. [Richter 83]
    G. Richter: Netzmodelle für die Bürokommunikation. Informatik-Spektrum, No. 6, pp. 210–220 (1983) and No. 7, pp. 28–40 (1984)Google Scholar
  7. [Ross, Schoman 77]
    D.T. Ross, K.E. Schoman: Structured Analysis for Requirement Definition. IEEE-SE, Jan. 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Wolfgang Reisig
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungInstitut für Methodische GrundlagenSankt AugustinGermany

Personalised recommendations