Reduced alignment based on Petri nets

Abstract

Summary Alignment is the state‐of‐the‐art technique in conformance checking and becoming more important for the analysis of business processes. To improve the efficiency of alignment, a new alignment approach is presented based on Petri net models and traces. It takes artificial logs and models as an example to illustrate the procedure of the new alignment approach. The approach can generate an optimal alignment tree including all of the optimal alignments between the given trace and the Petri net model based on standard likelihood cost function. This paper gives the approach a specific and rigorous characterization. The approach is implemented on ProM as a plugin and has been evaluated using complex logs and models as a case study.

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

“…A reduced alignment approach between event logs and process models is presented by Tian et al, which is named as OAT approach [24]. An optimal alignment tree is generated through this approach.…”

“…OA_one[i] ⟵ c i ; (19) JUMP TO Step 1; //obtain the optimal alignment for the given trace and be ready to do the search for the next one; (20) ELSE (21) sucstate ⟵ π 3 (t j ); (22) sucalign ⟵ c i ; (23) succost ⟵ π 3 (curnode) + lc(π 2 (t j )); (24) sucnode ⟵ (sucstate,sucalign, succost); (25) queue ⟵ queue ∪ {sucnode}; //add the successor to the queue; (26) END IF (27) END IF (28) END IF (29) END FOR (30) END WHILE (31) END FOR (32) RETURN OA_one; ALGORITHM 2: Computing an optimal alignment between the event log and the process model based on the standard likelihood cost function.…”

“…cost � c i ; //update the minimum cost; (24) OA_all[i] ⟵ OA_all[i] ∪ c i ; //obtain an optimal alignment for the ith trace; (25) ELSE (26) sucstate ⟵ π 3 (t j ); (27) sucalign ⟵ c i ; (28) succost ⟵ c i ; (29) sucnode ⟵ (sucstate, sucalign, succost); (30) queue ⟵ queue ∪ {sucnode}; //add the successor to the queue; (31) END IF (32) END…”

“…ere are a large amount of literatures on alignment approaches to introduce their ideas, motivations, and problems resolved. rough the analysis and conclusion of various alignment approaches [20][21][22][23][24], we find the existing problems of the current ones, mainly including high complexity of the search algorithms, unable to find the required and accurate optimal alignments, and unable to find all the optimal alignments. To solve the abovementioned problems, we propose an alignment approach based on relation matrices and Petri nets.…”

High performance deep learning techniques for big data analytics

“…Petri Nets are also used for supervised and unsupervised learning . In the works of Tian et al and Wang et al, Petri nets are optimized for learning activities from business processes.…”