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

Sebastian Junges; Joost P. Katoen; Mariëlle Stoelinga; Matthias Volk

doi:10.1007/978-3-319-91268-4_14

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (Scopus)

156 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 language	English
Title of host publication	Application and Theory of Petri Nets and Concurrency
Subtitle of host publication	39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Editors	Victor Khomenko, Olivier H. Roux
Place of Publication	Cham
Publisher	Springer
Pages	272-293
Number of pages	22
ISBN (Electronic)	978-3-319-91268-4
ISBN (Print)	978-3-319-91267-7
DOIs	https://doi.org/10.1007/978-3-319-91268-4_14
Publication status	Published - 8 May 2018
Event	39th International Conference on Applications and Theory of Petri Nets and Concurrency 2018 - Austria Trend Hotel Bratislava, Bratislava, Slovakia Duration: 24 Jun 2018 → 29 Jun 2018 Conference number: 39 https://interes.institute/petrinets2018/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10877
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	39th International Conference on Applications and Theory of Petri Nets and Concurrency 2018
Abbreviated title	Petri Nets 2018
Country/Territory	Slovakia
City	Bratislava
Period	24/06/18 → 29/06/18
Internet address	https://interes.institute/petrinets2018/

Keywords

Dynamic Fault Trees
Semantics
Petri nets
2024 OA procedure

Access to Document

10.1007/978-3-319-91268-4_14

ArticleFinal published version, 817 KBLicence: Taverne

Cite this

Junges, S., Katoen, J. P., Stoelinga, M., & Volk, M. (2018). One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs. In V. Khomenko, & O. H. Roux (Eds.), Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings (pp. 272-293). (Lecture Notes in Computer Science; Vol. 10877). Springer. https://doi.org/10.1007/978-3-319-91268-4_14

Junges, Sebastian ; Katoen, Joost P. ; Stoelinga, Mariëlle et al. / One Net Fits All : A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. editor / Victor Khomenko ; Olivier H. Roux. Cham : Springer, 2018. pp. 272-293 (Lecture Notes in Computer Science).

@inproceedings{952c249b13fb456788ea39a22025950b,

title = "One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs",

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.",

keywords = "Dynamic Fault Trees, Semantics, Petri nets, 2024 OA procedure",

author = "Sebastian Junges and Katoen, {Joost P.} and Mari{\"e}lle Stoelinga and Matthias Volk",

year = "2018",

month = may,

day = "8",

doi = "10.1007/978-3-319-91268-4_14",

language = "English",

isbn = "978-3-319-91267-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "272--293",

editor = "Victor Khomenko and Roux, {Olivier H.}",

booktitle = "Application and Theory of Petri Nets and Concurrency",

address = "Germany",

note = "39th International Conference on Applications and Theory of Petri Nets and Concurrency 2018, Petri Nets 2018 ; Conference date: 24-06-2018 Through 29-06-2018",

url = "https://interes.institute/petrinets2018/",

}

Junges, S, Katoen, JP , Stoelinga, M & Volk, M 2018, One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs. in V Khomenko & OH Roux (eds), Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10877, Springer, Cham, pp. 272-293, 39th International Conference on Applications and Theory of Petri Nets and Concurrency 2018, Bratislava, Slovakia, 24/06/18. https://doi.org/10.1007/978-3-319-91268-4_14

One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs. / Junges, Sebastian; Katoen, Joost P.; Stoelinga, Mariëlle et al.
Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. ed. / Victor Khomenko; Olivier H. Roux. Cham: Springer, 2018. p. 272-293 (Lecture Notes in Computer Science; Vol. 10877).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - One Net Fits All

T2 - 39th International Conference on Applications and Theory of Petri Nets and Concurrency 2018

AU - Junges, Sebastian

AU - Katoen, Joost P.

AU - Stoelinga, Mariëlle

AU - Volk, Matthias

N1 - Conference code: 39

PY - 2018/5/8

Y1 - 2018/5/8

N2 - 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.

AB - 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.

KW - Dynamic Fault Trees

KW - Semantics

KW - Petri nets

KW - 2024 OA procedure

U2 - 10.1007/978-3-319-91268-4_14

DO - 10.1007/978-3-319-91268-4_14

M3 - Conference contribution

SN - 978-3-319-91267-7

T3 - Lecture Notes in Computer Science

SP - 272

EP - 293

BT - Application and Theory of Petri Nets and Concurrency

A2 - Khomenko, Victor

A2 - Roux, Olivier H.

PB - Springer

CY - Cham

Y2 - 24 June 2018 through 29 June 2018

ER -

Junges S, Katoen JP , Stoelinga M, Volk M. One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs. In Khomenko V, Roux OH, editors, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Cham: Springer. 2018. p. 272-293. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-91268-4_14