Performance evaluation of Nuclear Power Plant Injection Systems using PetriNets

The failure of safety critical systems like Nuclear Power Plant can lead to disastrous effects which may lead to death of people and harm to the environment. Thus it becomes very important to model these systems to meet the reliability, safety requirements without compromising with the high performance. Petri Nets(PNs) is a type of modelling languages which is widely used for validation of real time systems. Timed Petri Nets(TPNs) are popularly use to model such critical systems primarily for non-functional analysis. In this paper have used Timed petri net and Markov chains methodology for reliability and performance analysis for Nuclear Power Plant Injection Systems. This paper will be finding the time spent by the tokens in the Petri Net System as an evaluation metric.