Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques

DOI10.3233/FI-2009-192zbMath1187.68328OpenAlexW2124955959MaRDI QIDQ3400536

Brian Randell, Maciej Koutny

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-192

zbMATH Keywords

faultsabstractionformal analysisjudgementdependabilityoccurrence netsfailures, errors

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Localities in systems with a/sync communication ⋮ Occurrence Nets Then and Now: The Path to Structured Occurrence Nets ⋮ Regions of Petri nets with a/sync connections