CAJ | 학술논문

时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展.CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境.对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法.在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化.最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性.
시간Petri망재경전Petri망적기출상인입료시간인소,불부능분석라집층차적계통성능,환능분석시간층차적계통성능,연이포함공간인소적신식물리융합계통(cyber-physical system,CPS)적산생수요대시간Petri망진행탁전.CPS집성계산계통화물리계통,불부능구실시감지물리배경신식,병차능구통과물리실체개변물리배경.대CPS적물리층면특점진행료심입분석,연구료CPS물리실체적속성급기위치변천과정,제출료일충CPS물리실체적형식화건모방법.재시간Petri망적기출상인입료공간인소,구조료시공Petri망모형,사기불부능구묘술물리실체라집급시간층차적행위,병차능구묘술물리실체위치변천소인기적상태변화.최후이궤기인공제계통위례,진일보천술료시공Petri망모형적유효성.
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.