本书从系统模型构建的基本理论与指挥自动化系统设计和建设相结合的角度,阐述了系统建模的基本原理和方法,介绍了主要的应用数学模型、指挥自动化系统建模的现状和指挥自动化建模仿真技术,重点介绍了如何进行指挥自动化系统建模,特别对能够描述具有分布、并发、异步特征的系统的有效工具——Petri网和Petri网在指挥自动化系统设计和建设中的应用进行了专门的介绍。全书共6章,包括指挥自动化系统建模的基本概念、建模方法论、模型的构造方法、指挥自动化系统的Petri网模型、指挥自动化系统的评价模型与方法和指挥自动化系统建模仿真技术。本书可作为高等学校指挥自动化专业本科高年级学生或研究生的教材和参考书,也可供从事指挥自动化系统设计和建设等工作的工程技术人员参考。