本书是作者多年就Petri网、C4ISR系统建模理论与方法以及Petri网在C4ISR系统建模、仿真与分析中应用研究的工作总结，内容包括Petri网的基本理论以及Petri网在C4ISR系统分析、设计与评估各方面的应用。是一本信息科学教材。

本书是作者多年研究Petri网、C4ISR系统建模理论与方法以及Petri网在C4ISR系统建模、仿真与分析中应用研究的工作总结，内容包括Petri网的基本理论以及Petri网在C4ISR系统分析、设计与评估各方面韵应用。本书可作为高等院校指挥自动化系统、信息系统工程等相关专业的高年级本科生和研究生教材。也可作为从事信息科学、管理科学以及其他相关研究工作技术人员的参考书。

第一章 模型与建模方法论

 第一节 模型的一般概念

1.1.1 概述

1.1.2 系统的模型谱系

1.1.3 建模的基本原则

1.1.4 建模的基本方法

 第二节 系统的数学模型

1.2.1 数学模型的定义与作用

1.2.2 数学模型的分类

1.2.3 系统的数学模型

 第三节 系统建模途径和过程

1.3.1 建模过程的信息源

1.3.2 建模过程的总体描述

1.3.3 模块化建模方法

 第四节 离散事件系统模型与基本的建模方法

1.4.1 离散事件系统模型

1.4.2 基本建模方法

1.4.3 Petri网建模方法

 参考文献

第二章 Petri网基础理论

 第一节 Petri网基本概念

2.1.1 Petri网相关的例子

2.1.2 网的基本定义

 第二节 条件事件系统

2.2.1 情况和步骤

2.2.2 条件事件系统

2.2.3 循环和活性模型

2.2.4 条件事件系统的等价与同构

2.2.5 无冲撞条件事件系统

2.2.6 条件事件系统的情况图

 第三节 条件事件系统的运行特征

2.3.1 偏序集

2.3.2 发生网

2.3.3 进程

2.3.4 进程与情况图

 第四节 位置转移网

2.4.1 位置转移网

2.4.2 位置转移网的矩阵表示

2.4.3 可达性

2.4.4 有限覆盖

2.4.5 活性

 第五节 网不变量

2.5.1 S-不变量

2.5.2 用S-不变量进行系统分析

2.5.3 T-不变量

 第六节 基本Petri网建模的一般方法

 参考文献

第三章 高级Petri网

 第一节 谓词/转移网

3.1.1 谓词/转移系统的概念

3.1.2 谓词/转移系统的定义

3.1.3 谓词/转移系统的行为

 第二节 着色Petri网

3.2.1 CPN的概念

3.2.2 CPN的定义

 第三节 时间Petri网

3.3.1 时间Petri网的概念

3.3.2 时间Petri网的定义

 第四节 随机Petri网

3.4.1 随机Petri网的概念

3.4.2 随机Petri网的定义

 第五节 对象Petri网(OOPN)

3.5.1 OOPN的概念

3.5.2 OOPN的定义

 参考文献

第四章 Petri网在C4ISR系统功能分析中的应用

 第一节 “立方”分析法

4.1.1 确定系统功能和执行功能资源

4.1.2 功能分析

4.1.3 数据处理与通信负荷分析

4.1.4 系统不同结构的分析

 第二节 功能需求的Petri网描述

4.2.1 功能责任的Petri网描述

4.2.2 基于剧情的功能需求建模

4.2.3 不同执行模式的需求建模

 第三节 案例：空中禁飞任务系统

4.3.1 简介

4.3.2 功能定义

4.3.3 执行器定义

4.3.4 功能责任的描述

4.3.5 详细需求的生成

 参考文献

第五章 Petri网在指挥控制分析中的应用

 第一节 指挥控制系统的Petri网描述

5.1.1 单个指挥员的模型

5.1.2 指挥员交互作用的模型

5.1.3 资源限制的指挥员模型

5.1.4 指挥控制系统与环境交互的Petri网模型

 第二节 利用指挥控制系统的Petri网模型进行性能分析

5.2.1 C4ISR系统的决策时延分析

5.2.2 最犬流通率紛计算

5.2.3 指挥控制结构、性能对流通率的影响

 第三节 分布指挥决策的CPN模型

5.3.1 任务层CPN网

5.3.2 协作层CPN网

 参考文献

第六章 对象Petri网支持环境及其在C4ISR系统仿真分析中的应用

 第一节 对象Petri网描述语言——OPDL

6.1.1 OPDL的图形建模元素

6.1.2 OPDL脚本描述语言

 第二节 基于OPDL的C4ISR系统建模方法

6.2.1 OPDL对C4ISR系统建模的支持

6.2.2 基于OPDL的C4ISR系统建模一般方法

6.2.3 OPDL建模的几项原则

 第三节 对象Petri网建模仿真支持环境——OPMSE

6.3.1 系统概述

6.3.2 OPMSE系统组成

6.3.3 OPMSE使用及操作步骤

 第四节 野战防空战术C4ISR系统建模仿真分析

6.4.1 野战防空战术CISR系统概况及建模仿真目标分析

6.4.2 系统模型设计及仿真设计

6.4.3 野战防空战术C4ISR系统仿真结果分析

 参考文献

第七章 Petri网在C4ISR系统中的其他应用

 第一节 C4ISR系统通信网络效能评估

7.1.1 C4ISR系统通信网络效能评估的意义和方法

7.1.2 C4ISR系统通信网络仿真模型

7.1.3 C4ISR系统通信网络效能指标计算模型

 第二节 卫星支持下的导弹火力打击效能研究

7.2.1 应用背景

7.2.2 模型建立

7.2.3 结论分析

 第三节 舰艇编队对抗仿真中的应用

7.3.1 研究背景

7.3.2 舰艇对抗的基本作战过程

7.3.3 模型体系

 参考文献