For the most recent entries see the Petri Nets Newsletter.

A Distributed Simulator for High Order Petri Nets.

Bütler, B.; Esser, R.; Mattmann, R.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography