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

1 Citation (Scopus)
2 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

Fingerprint

Semantics

Keywords

  • Dynamic Fault Trees
  • Semantics
  • Petri nets

Cite this

Junges, S., Katoen, J. P., Stoelinga, M. I. A., & 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). Cham: Springer. https://doi.org/10.1007/978-3-319-91268-4_14
Junges, Sebastian ; Katoen, Joost P. ; Stoelinga, Mariëlle Ida Antoinette ; Volk, Matthias. / 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",
author = "Sebastian Junges and Katoen, {Joost P.} and Stoelinga, {Mari{\"e}lle Ida Antoinette} and Matthias Volk",
year = "2018",
month = "5",
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",

}

Junges, S, Katoen, JP, Stoelinga, MIA & 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 Ida Antoinette; Volk, Matthias.

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 proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - One Net Fits All

T2 - A Unifying Semantics of Dynamic Fault Trees Using GSPNs

AU - Junges, Sebastian

AU - Katoen, Joost P.

AU - Stoelinga, Mariëlle Ida Antoinette

AU - Volk, Matthias

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

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

ER -

Junges S, Katoen JP, Stoelinga MIA, 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). https://doi.org/10.1007/978-3-319-91268-4_14