现代海军舰艇编队协同作战C~3I系统是一个复杂的人-机交互大系统,也是一个典型的离散事件系统。其指标体系不仅包括其本身的性能指标,还包括它与武器系统、战场环境相结合完成作战使命的作战效能指标。由于实际作战环境的不确定性和动态时变性,其决策组织的建模问题一直是一个技术热点和难点。Petri网方法被认为是离散事件动态系统最有效的建模方法。对于具有并发、异步、分布、并行、不确定性和随机性的离散事件动态系统,都可以利用这种工具构造出要开发的Petri网模型,然后对其进行分析,即可得到有关系统结构和动态行为方面的信息,根据这些信息就可以对要开发的系统进行评价和改进。有色Petri网是在普通Petri网理论的基础上发展起来的一种高级Petri网,它增加了token类型并赋予了颜色,采用标准机器语言作为它的网描述语言,可以用来对复杂离散事件系统进行建模设计、规范描述和仿真验证等。本文将运用有色Petri网的理论和方法对现代海军舰艇编队协同作战C~3I系统进行研究和建模,同时利用CPN Tools工具对所建立的系统CPN模型进行仿真实验,并对系统的决策时延问题进行分析。本文达到了预期的写作效果。