Modularization of Petri Nets using object-oriented concepts

In the area, of complex system design even the use of high-level Petri Nets extended with substitutional constructs often results in models difficult to understand, maintain and extend. These problems, as well as a not satisfactory support for reuse of components, stem from the absence of capabilities to build Petri Net models out of encapsulated modules. In order to overcome these limitations more sophisticated modularization techniques are needed. The extension of Petri Nets with object-oriented concepts is a promising approach in this area, as these concepts offer well experienced and largely approved modularization capabilities. This paper gives a short overview of already existing proposals extending Petri Nets with object-oriented concepts, pointing out why most of them provide no solution to the above stated deficiencies. To overcome the limitations of existing proposals a novel approch is presented, namely 'Object-Oriented Predicate/Transition Nets' (OOPr/T-Nets). Their application to software engineering is shown ranging from object design to visual programming.