¹School of Computer Science and Technology, Soochow University, Suzhou, China
²State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Science, Beijing, China

---

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.

Index Terms—CPS, Time Petri net, physical entities, spatial factor, Spatial-Temporal Petri net

[PDF]

Cite: Guangquan Zhang, Mingtai Zhang, Rongjie Yan, Mingcai Chen, Chengkai Xu, Yejing Li, "Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net," Journal of Computers vol. 9, no. 2, pp. 499-505, 2014.