Analysis and Application of Min-Cost Transition Systems to Business Process Management

Abstract

To improve the efficiency of conformance checking in process mining, new alignment approaches are presented between event logs and process models based on the min-cost transition systems of Petri nets. An algorithm is presented to obtain the transition system with the minimum cost based on the product of the event net and process net. The min-cost transition system is a directed acyclic graph, where the paths from the initial node to the final node include all optimal alignments between the trace and the process model based on the given cost function. Two algorithms are proposed to calculate an optimal alignment and all optimal alignments, respectively. All algorithms are implemented in ProM platform. After a series of the simulation experiments, the feasibility and effectiveness of the proposed approaches are illustrated.

Deviation Detection in Clinical Pathways Based on Business Alignment

“…Business alignment is one of the most advanced compliance checking methods at present. e use of business alignment can effectively detect the deviation of clinical pathway [28][29][30]. Compliance checking of complex models has always been a challenging research topic [31].…”

A Preface to the Special Issue on Emerging and Intelligent Information Services

“…Xiang and Liu [9] employed WFD-net, a special form of Petri net, to build a guarddriven reachability graph for correctness verification of data flows dealing with the cases that data might be missing, inconsistent, lost and redundant. According to Feng et al [10], there is an increasing demand for business intelligence automatically extracted from event logs and process mining plays a critical role in business process management. This paper presents a new Petri net alignment to improve the efficiency in process mining.…”