基于有色Petri网舰艇编队C3I系统的建模与仿真研究

海军舰艇编队C3I系统是一个具有使用环境特殊、组成多样和状态不确定等特性的复杂军用电子信息系统。由于Petri网理论本身具有很多特征与C‘I系统建模要求相吻合，因此成为C3工系统建立模型的有效工具。有色Petri网是在普通Petri网理论基础上发展起来的一种高级Petri网，可以用来对复杂离散事件系统进行建模设计、规范描述、仿真和验证等。本文简单介绍了Petri网和有色Petri网的基本知识，对海军舰艇编队基本知识、C3I系统含..