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

Table 6

Optimal alignments between trace σ₈ and model N₁.

Name	Path in	Value
γ81	<(([p1], s0), (a, t1), ([p2], sa)), (([p2], sa), (c, t3), ([p3], sc)), (([p3], sc), (>>, t4), ([p4], sc)), (([p4], sc), (b, >>), ([p4], ))>	<(a, t1), (c, t3), (>>, t4), (b,>>)>
γ82	<(([p1], s0), (a, t1), ([p2], sa)), (([p2], sa), (c, t3), ([p3], sc)), (([p3], sc), (b, >>), ([p3], )), >	<(a, t1), (c, t3), (b,>>), (>>, t4)>
γ83	<(([p1], s0), (a, t1), ([p2], sa)), (([p2], sa), (c, >>), ([p2], sc)), >	<(a, t1), (c,>>), (b, t3), (>>, t4)>