A distributed simulator for high order Petri nets

  • B. Bütler
  • R. Esser
  • R. Mattmann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 483)


This paper describes a distributed simulator of high order Petri nets for a parallel computer. It shows how the inherent parallelism of a Petri net can be used to obtain a fast simulator. The design decisions made in implementing a distributed simulator in hardware and software are discussed and a detailed description of both is given.

The simulator is a component of a suite of tools which allow the construction of specifications of embedded systems. A special form of Predicate/Transition net is used as a model of a specification. This allows the real time simulation of a sufficiently refined specification, which can then be used as a system prototype or implementation.


Embedded Systems Executable Specification Petri nets Distributed Simulator CSP Interconnection Architecture Transputer Occam 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Chandy 84]
    K.M. Chandy, J. Misra "The Drinking Philosophers Problem" ACM Transactions on Programming Languages and Systems, Vol. 6. No. 4. October 1984; pp. 632–646Google Scholar
  2. [Dähler...87]
    J. Dähler, P. Gerber, H.-P. Gisiger, A. Kündig "A Graphical Tool for the Design and Prototyping of Distribute Systems." ACM Software Engineering Notes. Vol. 12. No. 3. July 1987Google Scholar
  3. [Genrich 88]
    H. Genrich "Equivalence Transformations of PrT-nets." In: Proc. 9th European Workshop on Applications and Theory of Petri nets 1988; pp. 229–248Google Scholar
  4. [Genrich 87]
    H. Genrich "Predicate/Transition Nets." In: Lecture Notes in Computer Science 254, Petri Nets: Central Models and Their Properties, Springer Verlag 1987; Eds.: W. Brauer, W. Reisig and R. Rozenberg; pp. 207–247Google Scholar
  5. [Hoare 85]
    C.A.R. Hoare "Communicating Sequential Processes." Prentice-Hall International Series in Computer Science 1985Google Scholar
  6. [Hartung 88]
    G. Hartung "Programming a closely coupled multiprocessor system with high level Petri nets." In: Proc. 8th Petri Net Workshop, Zaragoza Spain, 489–508 (1987)Google Scholar
  7. [Heinrich...88]
    A. Heinrich, W. Ameling "Multiprocessor System Architecture for the Execution of Higher Petri Nets." In: Proc. 9th European Workshop on Application and Theory of Petri Nets.Google Scholar
  8. [Kropf 87]
    P. Kropf "An Analysis and Reconfiguration Tool for Mapping Parallel Programs onto Transputer Networks" Interner Bericht am Institut für Informatik Universität BernGoogle Scholar
  9. [May 87]
    D. May "Occam 2 language definition" INMOS Limited March 1987Google Scholar
  10. [INMOS 87]
    "IMS T800 Transputer data sheet" INMOS Limited April 1987Google Scholar
  11. [Oswald 90]
    H. Oswald, R. Esser, R. Mattmann "An Environment for Specifying and Executing Hierachical Petri Nets" In: Proc. 12th International Conference on Software Engineering, Nice, France, March 1990Google Scholar
  12. [Pulli... 88]
    P. Pulli, J. Dăhler, H.-P. Gisiger, A. Kündig "Execution of Ward's Transformation Schema on the Graphic Specification and Prototyping Tool SPECS." CompEuro 88, Brussels, 11.–14.4.1988Google Scholar
  13. [Reisig 86]
    W. Reisig "Embedded System Description using Petri Nets." In: Lecture Notes in Computer Science 284, Embedded Systems, Eds.: A. Kündig, R.E. Bührer, J. Dähler; pp. 18–62Google Scholar
  14. [Schütte...88]
    A. Schütte, F. Opfer, Ch. Asp "Automatische Prozesskonfiguration in Occam2" Informationstechnik it 30 (1988) 4, R. Oldenbourg VerlagGoogle Scholar
  15. [Taubner 88]
    D. Taubner "On the Implementation of Petri Nets." In: Lecture Notes in Computer Science 340, Advances in Petri Nets 1988, Eds.: G.Rozenberg, pp. 418–439Google Scholar
  16. [Ward...85]
    P.T. Ward, S.J. Mellor "Structural Development for Real-Time Systems", Vol.1–3. Yourdon Press. New York. 1985Google Scholar
  17. [Winkler 86]
    P. Winkler "Anforderungsbeschreibung mit Netzmodellen." Automatisierungstechnische Praxis atp, Vol. 28 No.1 (1986), pp. 32–39Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • B. Bütler
    • 1
  • R. Esser
    • 1
  • R. Mattmann
    • 1
  1. 1.Corporate Research and Development Landis & Gyr Betriebs AGZugSwitzerland

Personalised recommendations