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

Table 3

Optimal alignments between trace σ₅ and model N₁.

Name	Path in ATS1	Value
γ51	<(([p1], s0), (a, t1), ([p2], sa)), (([p2], sa), (a, >>), ([p2], sa)), (([p2], sa), (a, >>), ([p2], sa)), (([p2], sa), (b, t2), ([p3], )), ([p3], ), (>>, t4), ([p4], ))>	<(a, t1), (a, >>), (a, >>), (b, t2), (>>, t4)>
γ52	<(([p1], s0), (a, >>), ([p1], sa)), (([p1], sa), (a, t1), ([p2], sa)), (([p2], sa), (a, >>), ([p2], sa)), (([p2], sa), (b, t2), ([p3], )), ([p3], ), (>>, t4), ([p4], ))>	<(a, >>), (a, t1), (a, >>), (b, t2), (>>, t4)>
γ53	<(([p1], s0), (a, >>), ([p1], sa)), (([p1], sa), (a, >>), ([p1], sa)), (([p1], sa), (a, t1), ([p2], sa)), (([p2], sa), (b, t2), ([p3], )), ([p3], ), (>>, t4), ([p4], ))>	<(a, >>), (a, >>), (a, t1), (b, t2), (>>, t4)>