Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Bibliography
K.M. Chandy, J. Misra "The Drinking Philosophers Problem" ACM Transactions on Programming Languages and Systems, Vol. 6. No. 4. October 1984; pp. 632–646
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 1987
H. Genrich "Equivalence Transformations of PrT-nets." In: Proc. 9th European Workshop on Applications and Theory of Petri nets 1988; pp. 229–248
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–247
C.A.R. Hoare "Communicating Sequential Processes." Prentice-Hall International Series in Computer Science 1985
G. Hartung "Programming a closely coupled multiprocessor system with high level Petri nets." In: Proc. 8th Petri Net Workshop, Zaragoza Spain, 489–508 (1987)
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.
P. Kropf "An Analysis and Reconfiguration Tool for Mapping Parallel Programs onto Transputer Networks" Interner Bericht am Institut für Informatik Universität Bern
D. May "Occam 2 language definition" INMOS Limited March 1987
"IMS T800 Transputer data sheet" INMOS Limited April 1987
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 1990
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.1988
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–62
A. Schütte, F. Opfer, Ch. Asp "Automatische Prozesskonfiguration in Occam2" Informationstechnik it 30 (1988) 4, R. Oldenbourg Verlag
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–439
P.T. Ward, S.J. Mellor "Structural Development for Real-Time Systems", Vol.1–3. Yourdon Press. New York. 1985
P. Winkler "Anforderungsbeschreibung mit Netzmodellen." Automatisierungstechnische Praxis atp, Vol. 28 No.1 (1986), pp. 32–39
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bütler, B., Esser, R., Mattmann, R. (1991). A distributed simulator for high order Petri nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1990. ICATPN 1989. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53863-1_20
Download citation
DOI: https://doi.org/10.1007/3-540-53863-1_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53863-9
Online ISBN: 978-3-540-46369-6
eBook Packages: Springer Book Archive