文献类型：期刊文献

英文题名：Modeling the intelligent community defense and security system with Petri nets

作者：Li, Naiwen[1]; Zheng, Hong[1]; Liu, Yulong[2]

机构：[1] Computer Science and Engineering Dept., East China University of Science and Technology, Shanghai, China; [2] Jiangsu Senchina Software Technology Co. Ltd., Yancheng, China

年份：2012

起止页码：283

外文期刊名：Proceedings - 4th International Conference on Digital Home, ICDH 2012

收录：EI(收录号：20130315901365)

语种：英文

外文关键词：Network security - Security systems - Workflow management

摘要：With the increasing popularity of the intelligent community, the intelligent community defense and security system is the core module of the intelligent community system. Modeling the defense and security system is the most important work among the design processes of the defense and security system. Because of the defense and security system has different subsystems and the interaction among subsystems forms workflow engineering. We describe the system as a workflow management system. This paper consider the advantages between the Petri net modeling and other modeling method, and then modeling the system with Petri nets. Moreover, we also validate the rationality of the system. ? 2012 IEEE.