• Login
    View Item 
    •   eScholar Home
    • Faculty of Energy Systems & Nuclear Science
    • Master Theses & Projects
    • View Item
    •   eScholar Home
    • Faculty of Energy Systems & Nuclear Science
    • Master Theses & Projects
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Petri net modeling of fault analysis for probabilistic risk assessment

    Thumbnail
    View/Open
    Lee_Andrew.pdf (1.269Mb)
    Date
    2013-04-01
    Author
    Lee, Andrew
    Metadata
    Show full item record
    Abstract
    Fault trees and event trees have been widely accepted as the modeling strategy to perform Probabilistic Risk Assessment (PRA). However, there are several limitations associated with fault tree/event tree modeling. These include 1. It only considers binary events; 2. It assumes independence among basic events; and 3. It does not consider timing sequence of basic events. This thesis investigates Petri net modeling as a potential alternative for PRA modeling. Petri nets have mainly been used as a simulation tool for queuing and network systems. However, it has been suggested that they could also model failure scenarios, and thus could be a potential modeling strategy for PRA. In this thesis, the transformations required to model logic gates in a fault tree by Petri nets are explored. The gap between fault tree analysis and Petri net analysis is bridged through gate equivalency analysis. Methods for qualitative and quantitative analysis for Petri nets are presented. Techniques are developed and implemented to revise and tailor traditional Petri net modeling for system failure analysis. The airlock system and the maintenance cooling system of a CANada Deuterium Uranium (CANDU) reactor are used as case studies to demonstrate Petri nets ability to model system failure and provide a structured approach for qualitative and quantitative analysis. The minimal cutsets and the probability of the airlock system failing to maintain the pressure boundary are obtained. Furthermore, the case study is extended to non-coherent system analysis due to system maintenance.
    URI
    https://hdl.handle.net/10155/334
    Collections
    • Electronic Theses and Dissertations [1323]
    • Master Theses & Projects [79]

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of eScholarCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV