Constrained Petri Nets. Part II: Generalizations and extensions

Article type: Research Article

Authors: Goeman, H.J.M. | Groenewegen, L.P.J. | Kleijn, H.C.M. | Rozenberg, G.

Affiliations: University of Leiden

Abstract: This paper continues the investigation froll1 [Goeman et al.] concerning the use of sets of places of a Petri net as additional (to input places) constraints for granting concession. Now interpretations of more general constraints are considered and expressed as Boolean expressions. This gives rise to various classes of constrained Petri nets. These are compared in the language theoretical framework introduced in [Goeman et al.]. An upperbound for the language defining power is found in the class of context-free programmed languages.

Keywords: Petri nets, constraints, Boolean expressions, Petri net languages

DOI: 10.3233/FI-1983-63-408

Journal: Fundamenta Informaticae, vol. 6, no. 3-4, pp. 333-374, 1983