For the most recent entries see the Petri Nets Newsletter.

Software Implementation of Petri Nets and Compilation of Rule-Based Systems.

Valette, Robert; Bako, Babou

In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 264-283. 1990.

Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 524; Advances in Petri Nets 1991, pages 296-316. Berlin, Germany: Springer-Verlag, 1991.

Abstract: The aim of this paper is to disccuss the issue of high-level Petri nets implementation. The specific class of high-level net considered is such that tokens are objects and transitions are rules with variables. They are a special case of Predicate/Transition nets. The implementation technique proposed here is an adaption of the compilation technique developed for rule-based systems preserving the net structure. This technique is compared to the token-player algorithm as well as to direct translation of the net into a rule-based system which is compiled afterwards.

Keywords: rule-based system; high-level net implementation; predicate/transition net.

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

Back to the Petri Nets Bibliography