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

Figure 13

Petri net model N_S of the distributed control system for the inclined shaft of the coal mine.