Batch Deterministic and Stochastic Petri nets Modeling for Reliability Quantification for Safety Critical Systems of Nuclear Power Plants.

Saved in:
Bibliographic Details
Title: Batch Deterministic and Stochastic Petri nets Modeling for Reliability Quantification for Safety Critical Systems of Nuclear Power Plants.
Authors: Kumar Jyotish, Nand1, nkjyotish.18dr0087@cse.iitism.ac.in, Kumar Singh, Lalit2, lalit.rs.cse@iitbhu.ac.in, Kumar, Chiranjeev1, chiranjeev@iitism.ac.in, Singh, Pooja3, poojasingh1615@gmail.com
Source: Nuclear Engineering & Design; Apr2023, Vol. 404, pN.PAG-N.PAG, 1p
Database: Applied Science & Technology Source
Description
ISSN:00295493
DOI:10.1016/j.nucengdes.2023.112191