智能建筑(Intelligent Building)的快速发展对火灾报警控制系统(Fire Alarm System)提出了更高的要求:早发现、少误报、低成本、易集成。正是在这个背景之下,进行了智能建筑火灾报警控制系统(FASIB)的研究工作。Petri网是一种基于图形化的语言,具有描述、分析复杂系统的强大功能。论文结合福州市第二医院病房大楼火灾报警控制系统的设计,对智能建筑火灾报警控制系统的功能结构、存在问题、研究动向和安装设计进行了归纳与论述。利用Petri网对火灾报警信息处理和控制要求进行详细的描述,并针对实际系统的具体要求,用系统状态的迁移来表示事件的发生,分析了火灾报警控制事件的传递规则和状态变化特点,提出基于数据库的控制逻辑和实现方式,构建了系统的Petri网模型。论文将Petri网应用于FASIB的形式化建模和分析,设计了基于Petri网模型的实验系统,并以大楼二层为平台,对FAS的报警、控制和显示功能进行了模拟。实验结果表明,本文提出的方法对于智能建筑火灾报警控制系统的设计是可行有效的。