One net fits all. A unifying semantics of dynamic fault trees using GSPNs

DOI10.1007/978-3-319-91268-4_14zbMath1427.68156arXiv1803.05376OpenAlexW4298347277MaRDI QIDQ2280191

Sebastian Junges, Matthias Volk, Mariëlle I. A. Stoelinga, Joost-Pieter Katoen

Publication date: 18 December 2019

Full work available at URL: https://arxiv.org/abs/1803.05376

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: One net fits all. A unifying semantics of dynamic fault trees using GSPNs