In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 22-34. 1989.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 47-63. Berlin, Germany: Springer-Verlag, 1991.
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. A special form of Predicate/Transition net (FunPrE-net: predicate/event net with functions) 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.
Keywords: distributed simulator (for) high-order net(s); parallel computer; predicate/transition net; FunPrt net; prototype.