计算机科学与探索Issue(4)：377-384,8.DOI:10.3778/j.issn.1673-9418.1209010
描述CPS物理实体的时空Petri网模型
Spatio-Temporal Petri Net Model for Describing CPS Physical Entities
摘要
Abstract
Time Petri net can analyze not only the logic level system performance, but also the time-level system performance by the introduction of the time factor based on the proto-type Petri net. However, the generation of CPS (cyber-physical system) containing spatial factors increases the necessary further expansion to time Petri net. CPS integrates computing system and physical system. It has not only the ability of real-time perception to the physical environment, but also the ability of controlling the physical entities to change the physical environment. This paper analyzes the physical characteristics and properties of CPS and the location change process of physical entities in CPS in depth. Then it proposes a formal modeling method of physical entities in CPS, and constructs a spatio-temporal Petri net model by introducing space factor into the traditional time Petri net, which can describe not only the logic and time-level behavior of physical entities, but also the change of state caused by the position change of physical entities. At last an example of robot control system proves the effectiveness of spatio-temporal Petri net model.关键词
时间Petri网/信息物理融合系统(CPS)/物理实体/空间信息/时空Petri网Key words
time Petri net/cyber-physical system (CPS)/physical entities/spatial information/spatio-temporal Petri net分类
信息技术与安全科学引用本文复制引用
张茗泰,张广泉,张侃,陈名才,封飞..描述CPS物理实体的时空Petri网模型[J].计算机科学与探索,2013,(4):377-384,8.基金项目
The Natural Science Foundation of Jiangsu Province of China under Grant No. Bk2011281(江苏省自然科学基金) （江苏省自然科学基金）
the Research Plan of Application Foundation of Soochow under Grant No. SYG201241(苏州市应用基础研究计划) （苏州市应用基础研究计划）
the College Graduate Research and Innovation Program of Jiangsu Province under Grant No. CXLX12_0809(江苏省高校研究生科研创新计划) （江苏省高校研究生科研创新计划）
the Students’Innovation and Entrepreneurship Projects of Jiangsu Province under Grant No.2012yb010(江苏省大学生创新训练计划) （江苏省大学生创新训练计划）
the Students’Extra-curricular Academic Research Foundation of Soochow University (苏州大学大学生课外学术科研基金) （苏州大学大学生课外学术科研基金）
