卫星军事应用系统支援常规导弹作战Petri网建模

作者：郭伟民 赵新国 李强卫星军事应用系统常规导弹petri网建模

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社