Analysis and modeling of a safety critical system using Petri-Net model

In this paper, a case study on Nuclear Power Plant (NPP) has been considered and modeled using Petri-Nets to identify the occurrence of various hazards in the system. PN based modeling framework provides a flexible graphical representation which allows a qualitative analysis of safe and unsafe states of system; and a quantitative analysis of reachability graph that in turn guides to an effective safety analysis. The graphical analysis is supported by empirical verification too. These results can be used by the designer to re-design the system to improve the aspect of safety.