Safety Simulation and Analysis for Complex Systems Concurrency Based on Petri Net and Stateflow Model

This paper mainly contains three contributions as follows: 1. The concurrency and the consequent safety issues of the complex system are identified. According to the resources, behavioral activities, and their interrelationship in the system, the basic elements in the Petri net are used to model the complex system with concurrency. Thereafter, the reachable tree under normal conditions is obtained. Finally, the safety model based on Petri net for the complex system with concurrency and reachable tree are established. 2. The Petri net model is transformed into the Simulink/Stateflow model. This paper presents the rules for the transform process. The reachable tree under normal conditions is used to verify the correct logical relationship of the model. 3. Based on Simulink/Stateflow model, safety analysis methods for the complex system with concurrency are proposed, including qualitative analysis and quantitative analysis. In summary, from the perspective of system safety analysis, this paper proposes a safety simulation and analysis method for complex systems with concurrency based on Petri net and Stateflow model. Combined with the literature [7], the transition rules of Petri net to Stateflow model is proposed. Taking the flight propulsion system as a case study, the dynamic process of concurrency system operation is clarified, the qualitative analysis of safety key units can be carried out, and the accident rate obtained by simulation can be quantitatively analyzed. The results show that the proposed method is feasible, reflecting the engineering practicability and effectiveness of the safety analysis of complex systems with concurrency.