对象Petri网(OPN)相关论文
目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法。针对C4ISR体系结构动态行为的语义一致性，首先分析了其验证的内容......
首先介绍了 OPN的特点和利用 OPN建立 C3I系统仿真模型的一般步骤 ,然后用一个简单的实例说明了该方法的使用情况 ,并总结了该方法......
首先给出对象Petri网(OPN)的定义及其对基本Petri网的扩展。根据OPN和计算机网络的特点,划分了计算机网络仿真模型,并结合TCP/IP协......
防空导弹网络化作战是在区域防空作战背景下研究网络化作战理论的具体实现,其基本思路是将在一定地域内防空导弹系统的各部分网络......
