Guarded transition systems: A new states/events formalism for reliability studies

A B Rauzy

Journal of Risk and Reliability, 2008, vol. 222, issue 4, 495-505

Abstract: States/events formalisms, such as Markov graphs or Petri nets, are widely used in reliability engineering studies. They have proved to be a very powerful tool both from conceptual and practical viewpoints. This article introduces a new states/events formalism, the so-called guarded transition system. The guarded transition system generalizes both block diagrams and Petri nets. It also makes it possible to handle looped systems, which no existing formalism is able to handle smoothly. Its use is illustrated by means of examples and several important issues such as composition and graphical representations are discussed. It is shown that current assessment methods for Markov graphs and Petri nets can be improved to a guarded transition system without a significant change of complexity.

Keywords: system engineering; modelling languages; transition systems (search for similar items in EconPapers)
Date: 2008
References: View complete reference list from CitEc
Citations: View citations in EconPapers (5)

Downloads: (external link)
https://journals.sagepub.com/doi/10.1243/1748006XJRR177 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:risrel:v:222:y:2008:i:4:p:495-505

DOI: 10.1243/1748006XJRR177

Access Statistics for this article

More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().