书目详细信息 : 建筑智能化系统的Petri网建模与应用研究