Petri Net Modeling for Probabilistic Safety Assessment and its Application in the Air Lock System of a CANDU Nuclear Power Plant

Abstract

Historically, fault trees are extensively used in Probabilistic Safety Assessment (PSA) to model and evaluate the probability and consequence of failures of complex engineering systems, such as nuclear power plants. Scenarios of hypothetical accidents resulting in severe core damage can be developed. Petri net is another modeling technique that offers many advantages when comparing with fault trees, such as is ability to represent the time sequence of the events along with their duration. In this research, Petri net theory is extended to model system failures. The transformations required to model logic gates by Petri nets are explored and examples provided. Methods for qualitative analysis for Petri nets are presented. The application of Petri net in the airlock system of a Canada Deuterium Uranium (CANDU) reactor is explored. It is further demonstrated that Petri net can be used in both coherent and non-coherent systems.

Keywords

Petri netFault tree analysisLock (firearm)Stochastic Petri netProbabilistic logicReliability engineeringFault (geology)Nuclear power plantPetri dishComputer scienceNuclear powerEngineeringSystems engineeringDistributed computingArtificial intelligenceMechanical engineering

Affiliated Institutions

Ontario Tech University CA

Related Publications

Hierarchical models for systems reliability, maintainability, and availability

H.H. Ammar , Yih-Fang Huang , R. Liu

In this paper, the development of low-cost methodologies for the prediction and evaluation of system reliability, maintainability, and availability (RMA) is considered. Generali...

1987 IEEE Transactions on Circuits and Sys... 40 citations

Performance evaluation of concurrent systems using Petri nets

Jan Magott

1984 Information Processing Letters 102 citations

Properties of Conflict-Free and Persistent Petri Nets

Lawrence H. Landweber , Edward L. Robertson

article Free Access Share on Properties of Conflict-Free and Persistent Petri Nets Authors: L. H. Landweber Computer Sciences Department, University of Wisconsin-Madison, Madiso...

1978 Journal of the ACM 165 citations

Stochastic Petri net representation of discrete event simulations

Peter J. Haas , Gerald S. Shedler

In the context of discrete event simulation, the marking of a stochastic Petri net (SPN) corresponds to the state of the underlying stochastic process of the simulation and the ...

1989 IEEE Transactions on Software Enginee... 55 citations

On the determination of the solution of a class of Murata's state equation of Petri nets

A.A. Khan , G.S. Hura , Harpreet Singh +1 more

Murata has given state space representation of Petri nets (PN) in the form A <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">T</su...

1981 Proceedings of the IEEE 7 citations

Publication Info

Year: 2012
Type: article
Volume: 45
Pages: 11-20
Citations: 14
Access: Closed

External Links

View on DOI.org

Social Impact

Altmetric

Petri Net Modeling for Probabilistic Safety Assessment and its Application in the Air Lock System of a CANDU Nuclear Power Plant

PlumX Metrics

Social media, news, blog, policy document mentions

Citation Metrics

OpenAlex

Cite This

APA Style

                            
                                    Andrew Lee, 
                                
                                    Lixuan Lu
                                
                            (2012). 
                            Petri Net Modeling for Probabilistic Safety Assessment and its Application in the Air Lock System of a CANDU Nuclear Power Plant. 
                            Procedia Engineering
                            , 45
                            
                            , 11-20.
                            https://doi.org/10.1016/j.proeng.2012.08.113

Identifiers

DOI: 10.1016/j.proeng.2012.08.113