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

Computer Engineering & Science

Previous Articles     Next Articles

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

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