Validation of Process Models by Construction of Process Nets

Abstract

The major aim of this chapter is to describe an approach towards the development of techniques and tools to support the construction, validation and the verification of Petri net models of information systems and business processes. To this end, the behavior of the models is defined by partially ordered causal runs, represented by process nets. We discuss how these runs are constructed and visualized for validation purposes, and how they are analyzed. Moreover, we demonstrate how different dynamic properties can be formulated and checked by searching respective patterns in process nets.