Research Article

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

Figure 7

Transition system TS5 of trace σ5.