Modeling and Analysis for Cps Physical Entities Based on Spatio-Temporal Petri Net

Guangquan Zhang,Mingtai Zhang,Rongjie Yan,Mingcai Chen,Chengkai Xu,Yejing Li

DOI: https://doi.org/10.4304/jcp.9.2.499-505

2014-01-01

Journal of Computers

Abstract:CPS is a kind of multidimensional complex system fused with computing system, physical environment and network environment. CPS achieves the target of realtime perception and dynamic control of physical environment by the organic integration of 3C operations and depth of their cooperation. However, CPS also faces enormous challenges. Since CPS is a kind of large, heterogeneous, distributed and real-time feedback system which is integrated with multiple heterogeneous subsystem via the network, its system complexity is above the general information system. And the introduction of physical entities control system brings tremendous difficulties to development as well as its system complexity. This paper conducts a detailed analysis of the characteristics of the physical aspects of CPS and studies CPS's physical entities of the properties and their location changes process indepth. Then we propose a formal modeling method of physical entities in CPS by constructing a Spatial-Temporal Petri net model introducing space factor into the traditional Timed Petri net, which not only able to describe logical and time-level the behavior of physical entities, but also the changes of state caused by the position change of the physical entity. At last an example of robot control system proves the effectiveness of spatial and temporal Petri net models.