Research Article

Verifying the Safety of Aviation Software Based on Extended Colored Petri Net

Figure 9

The terminal status of SVCPN.