Method for Modeling CPS Based on Open Colored Petri Net
Spatio-Temporal properties are the intrinsic properties of Cyber-Physical System(CPS),the correlation in space and time between computing and physical entities should be fully considered in CPS modeling process in order to guarantee the correctness of system state and behavior.Based on the functional extension of Colored Petri Net(CPN),the formal definition of Open Colored Petri Net(OCPN) is proposed.Then the definition of CPS physical entity and the algorithm to construct the corresponding OCPN model are proposed.This method can effectively describe the position evolution of the physical entity by representing the space information with space tokens.In addition,the interaction between entity and environment is represented by Spatio-Temporal event tokens.Then the modules of CPS physical entities are assembled to the OCPN model of whole application.To show the effectiveness of the approach,an intelligent square system is introduced as a case study.
Cyber-Physical System Spatio-Temporal Event Spatial Properties Modeling Analysis
Linfeng Zheng Guangquan Zhang Yi Zhu Guobin Chen Hongmei Zhang
School of Computer Science and Technology,Soochow University,Suzhou 215006,China School of Computer Science and Technology,Soochow University,Suzhou 215006,China;State Key Laborator School of Computer Science and Technology,Jiangsu Normal University,Xuzhou 221116,China College of Rongzhi,Chongqing Technology and Business University,Chongqing 400033,China
国内会议
济南
英文
1-8
2014-10-16（万方平台首次上网日期，不代表论文的发表时间）