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

Algorithm 2

The disambiguation algorithm.

safety level of, (abnormal);  //taking the required safety level of the component as the

identification of the corresponding place, namely initializing the anti-net

For

Do ;

Until no ;

;  is the place with initial identification

If safety level of; comparing with initial safety level in place

Then abnormal;

print abnormal and ; //putting out the problem places and the identifications, and the safety

level of the corresponding component need to be reassigned.