Modeling and Analysis of Cyber-physical Systems Based on Petri Net

Cyber-physical systems (CPS) are rapidly developing in smart factories. However, CPS for smart factories is facing great challenges in the integration of heterogeneous devices (sensors and control devices) and analysis methods like stability and expandability of systems. In this study, a comprehensive solution is provided to integrate heterogeneous devices and to analyze CPS dynamic behaviors with the aid of Petri net. Specifically, in the physical layer, a kind of controller PAG200 is used as an edge control gateway, to integrate a multitude of sensing and control devices into one system. The integrated system can assist managers to better deal with the manufacturing data captured on-site; In the cyber layer, a cyber-physical system analysis method based on Petri net is proposed. The method combines Petri net principle with cyber-physical system technology, and the purpose is to provide a graphical modeling and analysis method for information perception, device management and data processing. System extensibility is measured by coupling intensity. The necessity and priority of the elastic expansion of the system are established. The system stability and performance are analyzed from the stability probability and its related parameters. There have been enough successes to demonstrate that PAG200 can undertake the task of internet integration as an edge gateway to eliminate information gaps. Correspondingly, the extensibility of the model and the feasibility of the method are verified.