Batch Deterministic and Stochastic Petri nets Modeling for Reliability Quantification for Safety Critical Systems of Nuclear Power Plants. - Kumar Jyotish, Nand; Kumar Singh, Lalit; Kumar, Chiranjeev; Singh, Pooja (Nuclear Engineering & Design, 2023)