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

Table 5

Optimal alignments between trace σ₇ and model N₁.

Name	Path in	Value
γ71	, , ,	<(b, >>), (a, t1), (b, t2), (>>, t4)>