关键词: 信息物理系统（CPS）, 空间, 时空事件, 时间, Petri网, 模型

Abstract: CPS is a collection of computing systems and physical systems and the integration of the hybrid system. This paper pays attention to the consistency of behavior between calculation process and physical process. Traditional modeling methods for physics process and calculation process of single model, it is difficult to meet the requirements of the CPS physical entity state transition space and time consistency, based on this, it advances a new method of modeling. CPS space-time fusion state is transited into a state transfer real-time event of time and space, and based on time Petri net it is introduced into space. Space and time Petri net model is established. The use of space and time Petri net to the physical entity state transfer process is analyzed. Finally, the validity of the spatiotemporal model is analyzed by the example of the train control system, which proves the feasibility of the method.

Key words: Cyber-Physical System（CPS）, space, time and space event, time, Petri net, model