Modeling of conventional missile operation supported by satellite military systems with Petri net
Qiang Li · Systems engineering and electronics · 2009
In view of the complexity of conventional missile operations supported by satellite military systems,the Petri net model of the supported operation is made.Based on the characteristics of Petri net such as synchronization,subsequence and conflicts,the supported operation is analyzed,the events and conditions in the course of operations are summarized,the ante-conditions and post-conditions for each transition are determined.Finally,the model is proven to be correct by what the supported operation is all right,and there doesn't exist the halted phenomenon in the Petri net.