排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
4.
5.
针对卫星军事应用系统支援常规导弹作战的复杂性,构建了作战过程的Petri网模型.该模型利用Petri网能够描述同步、并发和冲突等特性,剖析支援作战过程,提炼过程中的事件和条件,确定转移发生的前条件和后条件.最后,通过对模型的分析,可以看到支援作战流程能够顺利进行,以及Petri网中不存在死锁.此结果证明了模型的正确性. 相似文献
1