In: van der Aalst, W.M.P.; Desel, J.; Oberweis, A.: Lecture Notes in Computer Science, Vol. 1806: Business Process Managements - models, techniques and empirical studies, pages 110-128. Springer-Verlag, 2000.
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 analysed. Moreover, we demonstrate how different dynamic properties can be formulated and checked by searching respective patterns in process nets.