本书详细介绍了建筑智能化系统的特点，以及相关的建模与分析方法。重点针对建筑智能化系统中通信、数据、控制和管理在可靠性、安全性、实时性等方面的性能要求，阐述了基于基本Petri网、随机Petri网、有色Petri网、时间Petri网、模糊Petri网和混合Petri网的机理和方法，探讨了实现建筑智能化系统建模与分析所必须的理论与关键技术。在应用方面，阐述了支持相关研究方法的技术手段和工具及其使用方法。