Using Random Walk to Measure Inconsistency in Business Process Models[go to overview]
Business process models are used for the design and execution of workflows in organizations. These process models might be subject to various inconsistencies, for example due to violations of workflow norms. This thesis aims at providing modellers with means to firstly pinpoint errorneous elements, and secondly to quantify the risk emerging from inconsistent modelling. To this end, we formalize the execution semantics of business process models with the help of Petri nets and explore the state space of these nets in a probabilistic fashion.
06.05.21 - 10:15
via Big Blue Button