本書從系統(tǒng)模型構建的基本理論與指揮自動化系統(tǒng)設計和建設相結合的角度,闡述了系統(tǒng)建模的基本原理和方法,介紹了主要的應用數學模型、指揮自動化系統(tǒng)建模的現(xiàn)狀和指揮自動化建模仿真技術,重點介紹了如何進行指揮自動化系統(tǒng)建模,特別對能夠描述具有分布、并發(fā)、異步特征的系統(tǒng)的有效工具——Petri網和Petri網在指揮自動化系統(tǒng)設計和建設中的應用進行了專門的介紹。全書共6章,包括指揮自動化系統(tǒng)建模的基本概念、建模方法論、模型的構造方法、指揮自動化系統(tǒng)的Petri網模型、指揮自動化系統(tǒng)的評價模型與方法和指揮自動化系統(tǒng)建模仿真技術。本書可作為高等學校指揮自動化專業(yè)本科高年級學生或研究生的教材和參考書,也可供從事指揮自動化系統(tǒng)設計和建設等工作的工程技術人員參考。