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

Figure 3

Alignment transition system ATS₁.