An integrated approach for the specification of processes and related complex structured objects in business applications

摘要

An extension of high-level Petri nets, namely nested relation/transition nets (NR/T-nets), is described. NR/T-nets allow to model distributed processes and related complex structured objects in business applications. The paper focuses on the development of complex NR/T-net models. Due to their complexity high-level Petri net models are usually not developed in one single step. Therefore, two evolutionary development strategies are introduced: on the one hand incremental construction by iteratively evaluating, refining, formalizing and integrating net fragments, on the other hand adaptation of application-specific reference process and object models.