Safety Analysis of Shutdown System in Nuclear Power Plants through Petri Nets

Addressing the critical need for rigorous safety analysis, the research focuses on the intricate shutdown mechanisms, particularly the Rod Control System and Poison Injection System. The methodology commenced with exhaustive system requirements gathering to grasp the operational nuances and emergency protocols. A meticulous Petri Net representation followed, encapsulating system components and concurrent processes within a cohesive model. The framework facilitated rigorous safety checks, formal verification, and simulation-based o ptimization. Through iterative design and validation against established research, the model underwent continuous refinement. The findings illuminate the robustness of safety protocols and offer a transformative outlook on shutdown procedures, laying a foundation for further research and practical implementation to secure NPP operations.