IDEAS home Printed from https://ideas.repec.org/a/sae/risrel/v222y2008i4p495-505.html
   My bibliography  Save this article

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

Author

Listed:
  • A B Rauzy

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.

Suggested Citation

  • A B Rauzy, 2008. "Guarded transition systems: A new states/events formalism for reliability studies," Journal of Risk and Reliability, , vol. 222(4), pages 495-505, December.
    • Handle: RePEc:sae:risrel:v:222:y:2008:i:4:p:495-505
    DOI: 10.1243/1748006XJRR177
    as

    Download full text from publisher

    File URL: https://journals.sagepub.com/doi/10.1243/1748006XJRR177
    Download Restriction: no
    File URL: https://libkey.io/10.1243/1748006XJRR177?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Penttinen, Jussi-Pekka & Niemi, Arto & Gutleber, Johannes & Koskinen, Kari T. & Coatanéa, Eric & Laitinen, Jouko, 2019. "An open modelling approach for availability and reliability of systems," Reliability Engineering and System Safety, Elsevier, vol. 183(C), pages 387-399.
    2. Rauzy, Antoine & Blériot-Fabre, Chaire, 2015. "Towards a sound semantics for dynamic fault trees," Reliability Engineering and System Safety, Elsevier, vol. 142(C), pages 184-191.
    3. Meng, Huixing & Kloul, Leïla & Rauzy, Antoine, 2018. "Modeling patterns for reliability assessment of safety instrumented systems," Reliability Engineering and System Safety, Elsevier, vol. 180(C), pages 111-123.
    4. Kloul, Leïla & Rauzy, Antoine, 2017. "Production trees: A new modeling methodology for production availability analyses," Reliability Engineering and System Safety, Elsevier, vol. 167(C), pages 561-571.
    5. Landry, Steven J. & Lagu, Amit & Kinnari, Jouko, 2010. "State-based modeling of continuous human-integrated systems: An application to air traffic separation assurance," Reliability Engineering and System Safety, Elsevier, vol. 95(4), pages 345-353.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:sae:risrel:v:222:y:2008:i:4:p:495-505. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: SAGE Publications (email available below). General contact details of provider: .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.