论文部分内容阅读
针对卫星军事应用系统支援常规导弹作战的复杂性，构建了作战过程的Petri网模型。该模型利用Petri网能够描述同步、并发和冲突等特性，剖析支援作战过程，提炼过程中的事件和条件，确定转移发生的前条件和后条件。最后，通过对模型的分析，可以看到支援作战流程能够顺利进行，以及Petri网中不存在死锁。此结果证明了模型的正确性。