Patidar, K.TusharDas, M.Mohan, B.R.2026-02-0620212021 26th International Conference on Automation and Computing: System Intelligence through Automation and Computing, ICAC 2021, 2021, Vol., , p. -https://doi.org/10.23919/ICAC50006.2021.9594258https://idr.nitk.ac.in/handle/123456789/30297The 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. © 2021 Chinese Automation and Computing Society in the UK-CACSUK.Markov ChainSafety Critical SystemsTimed Petri Nets