混成时空Petri网的CPS实时事件模型

在分析网络物理系统（ CPS）特点的基础上，提出了一种新的CPS体系结构，并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量，构造了混成时空Petri网（ HSPN）模型，使其不仅能够描述物理实体逻辑和时间层次的行为，而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计，以医疗控制系统为例，分析建模方法的可行性。

Real-time event CPS model based on hybird spatial-temporal Petri nets

On the basis of analyzing characteristics of cyber physical systems( CPS),propose a new architecture of CPS,and formal definition of events is given. A new formal modeling method of CPS physical entity is proposed and defined. Introduce spatial and temporal factors and continuous variables on the basis of Petri nets,hybird spatial-temporal Petri nets( HSPN )is constructed,HSPN can not only describe behavior of physical entities in logical and time-level,but also can describe change of state caused by position change of physical entities. HSPN model is applied to real-time events CPS model design,and take medical control system as an example,analyze feasibility of modeling method.