A Security Control Model Based on Petri Net for Industrial IoT

In the IoT environment, the control loops of industrial Ethernet and real-time Ethernet are vulnerable to malicious attacks, causing major security incidents in the physical world. By analyzing the working principle of the control system in the IoT environment, a control system model based on the P-network is proposed. Based on the model, the various interference factors that may be faced in the system are discussed. For these interference factors, the model is added to the safety certification module to ensure system security. Finally, the paper described the components of the safety control model, the safety theorem and the typical implementation process.