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.