• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

计算机工程与科学

• 人工智能与数据挖掘 • 上一篇    下一篇

基于增广混合Petri网的CPS事件建模

张晶1,2,3,袁振宇1   

  1. (1.昆明理工大学信息工程与自动化学院,云南 昆明 650500;2.云南枭润科技服务有限公司,云南 昆明 650500;
    3.昆明理工大学云南省人工智能重点实验室,云南 昆明 650500)
  • 收稿日期:2019-09-02 修回日期:2019-10-22 出版日期:2020-03-25 发布日期:2020-03-25
  • 基金资助:

    国家自然科学基金(61562051);云南省技术创新人才资助项目(2019HB113);云南省“万人计划”产业技术领军人才资助项目

Modeling of CPS events based
on augmented hybrid Petri nets

ZHANG Jing1,2,3,YUAN Zhen-yu1   

  1. (1.Faculty of Information Engineering and Automation,Kunming University of Science and Technology,Kunming 650500;
    2.Yunnan Xiaorun Technology Service Co.,Ltd.,Kunming 650500;
    3.Yunnan Key Laboratory of Artificial Intelligence,Kunming University of Science and Technology,Kunming 650500,China)
     
     
  • Received:2019-09-02 Revised:2019-10-22 Online:2020-03-25 Published:2020-03-25

摘要:

信息物理融合系统是一类将信息系统和物理系统连接并融合在一起的混合系统,包含了感知、通信、计算与控制等多种技术,其系统操作既包括离散的计算过程,又包括连续的物理过程。针对此特性,提出一种以事件为驱动、以数据为核心的增广混合Petri网模型。首先,CPS具有事件驱动的内在属性,为事件定义1个用于赋予数据值的变量因子,以数据作为事件执行程度的核心;其次在混合Petri网的基础上加入时间和空间属性,以及为变迁的发生引入条件弧概念;最后,通过对自适应巡航控制系统的运行机理进行建模分析,验证了所提出模型的可行性。
 

关键词: 信息物理融合系统, 增广混合Petri网, 事件驱动, 时空属性, 条件弧

Abstract:

Cyber-physical system is a kind of hybrid system that connects the information system and the physical system. It includes various technologies such as sensing, communication, computing and control. Its system operation includes both discrete computing process and continuous physical process. Aiming at this characteristic, an event-driven and data-centric augmented hybrid Petri net model is proposed. Firstly, CPS has an event-driven intrinsic attribute, defines a variable factor for assigning data value to events, and takes data as the core of the execution level of the event. Secondly, temporal and spatial attributes are added to the hybrid Petri nets, and the concept of conditional arcs is introduced for the occurrence of transitions. Finally, the operational mechanism of the adaptive cruise control system is modeled and analyzed to verify the feasibility of the proposed model.
 
 

Key words: cyber-physical system (CPS), augmented Hybrid petri net (AHPN), event-driven, temporal and spatial attribute, conditional arc