本書詳細(xì)介紹了建筑智能化系統(tǒng)的特點，以及相關(guān)的建模與分析方法。重點針對建筑智能化系統(tǒng)中通信、數(shù)據(jù)、控制和管理在可靠性、安全性、實時性等方面的性能要求，闡述了基于基本Petri網(wǎng)、隨機Petri網(wǎng)、有色Petri網(wǎng)、時間Petri網(wǎng)、模糊Petri網(wǎng)和混合Petri網(wǎng)的機理和方法，探討了實現(xiàn)建筑智能化系統(tǒng)建模與分析所必須的理論與關(guān)鍵技術(shù)。在應(yīng)用方面，闡述了支持相關(guān)研究方法的技術(shù)手段和工具及其使用方法。