Availability assessment of a nuclear reactor limitation system by a Timed Petri Net
RBN Vital, PFF e Melo, J Medeiros… - Progress in Nuclear …, 2022 - Elsevier
The constant evolution of instrumentation and control systems (I & C) of nuclear power
plants requires a robust reliability assessment, due to the constant interaction between …
plants requires a robust reliability assessment, due to the constant interaction between …
[HTML][HTML] Risk modelling of ageing nuclear reactor systems
A nuclear reactor is expected to function for extensive periods, during which, coolant
circulation and core reactivity must always be maintained safely. Understanding the risks …
circulation and core reactivity must always be maintained safely. Understanding the risks …
Optimisation of nuclear reactor primary coolant design and maintenance parameters
MJ Wootton, Y Zhou, JD Andrews… - … Stochastic Models in …, 2024 - Wiley Online Library
An optimisation methodology is presented using the primary coolant circulation system of a
nuclear reactor as its case study, the purpose of which is to find combinations of selected …
nuclear reactor as its case study, the purpose of which is to find combinations of selected …
An integrated Petri net-pseudo bond graph model for nuclear hazard assessment
MJ Wootton, JD Andrews, R Smith, AJ Arul… - Safety and …, 2024 - Taylor & Francis
A pseudo-bond graph is presented to model the heat transferred from the fuel rods to the
coolant via its cladding in a generic nuclear reactor case study. Simulations performed using …
coolant via its cladding in a generic nuclear reactor case study. Simulations performed using …
An efficient Dijkstra's semaphore based k-out-of-n Petri net voting model: An application to shutdown actuation system reliability
DK Shukla, AJ Arul - Annals of Nuclear Energy, 2021 - Elsevier
Petri Net is a widely used mathematical model for reliability analysis of industrial safety
systems. Often, there is a need to model k-out-of-n voting present in these high redundancy …
systems. Often, there is a need to model k-out-of-n voting present in these high redundancy …
A mathematical modelling approach for treatment and control of Echinococcus multilocularis
Alveolar echinococcosis (AE) is a zoonotic parasitic diseases caused by a cestode parasite
known as Echinococcus multilocularis. The parasite has a wildlife cycle with definitive hosts …
known as Echinococcus multilocularis. The parasite has a wildlife cycle with definitive hosts …