In: Journal of Systems and Software, Vol. 43, No. 2, pages 133-160. 1998.
Abstract: The graphical formalism of Petri nets (PNs) is established on a strong mathematical foundation that can be applied in systems specification, analysis and verification. However, classical (low-level) models suffer from the state explosion problem as resulting PNs become large. Thus, their ability to represent and analyze large-scale realistic systems is reduced. High-level PNs have been introduced in order to extend the modeling power of low-level models. This paper presents an assessment of high-level PNs from an engineering perspective. A set of categories is proposed for classifying several extensions presented in the literature. Models which belong to the same category are compared by discussing the formalism, the descriptive power in the inherent limitations of each. All categories are compared using a set of general criteria including compactness, ease of analysis, degree of supporting refinement/abstraction and specifying communication. The modeling power of representative models of each category is discussed be presenting illustrative application examples.
Keywords: hierarchical modeling, high-level Petri nets, specification methods, system modeling.
Back to the Petri Nets Bibliography