One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

Sebastian Junges, Joost P. Katoen, Mariëlle Ida Antoinette Stoelinga, Matthias Volk

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
    37 Downloads (Pure)

    Abstract

    Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretation is non-trivial and leaves quite some freedom. This paper presents a GSPN semantics for DFTs. This semantics is rather simple and compositional. The key feature is that this GSPN semantics unifies all existing DFT semantics from the literature. All semantic variants can be obtained by choosing appropriate priorities and treatment of non-determinism.
    Original languageEnglish
    Title of host publicationApplication and Theory of Petri Nets and Concurrency
    Subtitle of host publication39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
    EditorsVictor Khomenko, Olivier H. Roux
    Place of PublicationCham
    PublisherSpringer
    Pages272-293
    Number of pages22
    ISBN (Electronic)978-3-319-91268-4
    ISBN (Print)978-3-319-91267-7
    DOIs
    Publication statusPublished - 8 May 2018
    Event39th International Conference on Applications and Theory of Petri Nets and Concurrency 2018 - Austria Trend Hotel Bratislava, Bratislava, Slovakia
    Duration: 24 Jun 201829 Jun 2018
    Conference number: 39
    https://interes.institute/petrinets2018/

    Publication series

    NameLecture notes in computer science
    Volume10877

    Conference

    Conference39th International Conference on Applications and Theory of Petri Nets and Concurrency 2018
    Abbreviated titlePetri Nets 2018
    CountrySlovakia
    CityBratislava
    Period24/06/1829/06/18
    Internet address

    Keywords

    • Dynamic Fault Trees
    • Semantics
    • Petri nets

    Fingerprint Dive into the research topics of 'One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs'. Together they form a unique fingerprint.

    Cite this