Fundamentals of parameterized Petri nets

A class of Petri nets (PNs) called parameterized Petri nets (PPNs) is proposed and applied to planning and coordination of intelligent systems. The PPN approach uses a hierarchical organization to deal with the complexity characteristic of net representations, through parameterization of transitions and the use of generalized or parameterized places in higher level nets. A unique and useful characteristic of PPNs is that they can be used to generate a high-level abstract plan, even in the absence of complete information, that can be mapped into a specific plan at a lower level of the hierarchy. The PPN system model structural properties are verified based on the corresponding PN model. It is shown that the error detection and recovery is accomplished with PPNs.