{"title":"Modeling the Intelligent Community Defense and Security System with Petri Nets","authors":"Li Naiwen, Zheng Hong, L. Yulong","doi":"10.1109/ICDH.2012.87","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":308799,"journal":{"name":"2012 Fourth International Conference on Digital Home","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 Fourth International Conference on Digital Home","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICDH.2012.87","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
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.