University Of Tasmania

File(s) under permanent embargo

Availability analysis of safety critical systems using advanced fault tree and stochastic Petri net formalisms

journal contribution
posted on 2023-05-19, 10:09 authored by Talebberrouane, M, Faisal KhanFaisal Khan, Lounis, Z
Failure scenarios analysis constitutes one of the cornerstones of risk assessment and availability analysis. After a detailed review of available methods, this paper identified two distinct formalisms to analyze failure scenarios and systems availability: generalized stochastic Petri nets (GSPN) and Fault tree driven Markov processes (FTDMP). The FTDMP formalism is a combination of the Markov process and the fault tree. This aims to overcome fault tree limitations while maintaining the use of deductive logic. The GSPN is a Petri net with probabilistic analysis using Monte Carlo simulation. The effectiveness of both methods is studied through an emergency flare system including a knockout drum. It is observed that GSPN provides a robust and reliable mechanism for accident scenario analysis. It provides additional information such as events frequencies at operating and failing modes and expected occurrence timing and durations resulting from different complex sequences. Even for multi-state variables which could be used to design a safety management system. Although FTDMP is a powerful formalism, it provides limited information.


Publication title

Journal of Loss Prevention in the Process Industries








Australian Maritime College


Elsevier Sci Ltd

Place of publication

United Kingdom

Rights statement

© 2016 Elsevier Ltd. All rights reserved.

Repository Status

  • Restricted

Socio-economic Objectives

Expanding knowledge in engineering