On separation of concurrency and conflicts in acyclic process models

Abstract

Recently, a new approach for structuring acyclic process models has been introduced. The algorithm is based on a transformation between the Refined Process Structure Tree (RPST) of a control flow graph and the Modular Decomposition Tr ee (MDT) of ordering relations. In this paper, an extension of the algorithm is presented that allows to partially structure process models in the case when a process model cannot be structured completely. We distinguish four different types of unstructuredness of process models and show that only two are possible in practice. Fo r one of these two types of unstructuredness an algorithm is proposed that returns the maximally structured representation of a proce..