论文部分内容阅读
针对编队对海打击仿真问题,设计了一种基于MAS(multi-agent system)的编队对海打击仿真系统;提出结合MAS和OPN(object-oriented Petri net)的思想,利用OPN设计系统的Petri网基网模型;在基网模型基础上,加入状态标示,建立系统Petri标示网的形式化模型;进而采用Petri网的关联矩阵对系统形式化模型的状态进行分析,从形式上确定系统的结构与状态,有效降低了系统初期开发的难度;利用JADE平台实现了编队对海打击仿真系统。仿真实例表明,仿真系统具有良好的