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

Maciej Koutny, Brian Randell. Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundamenta Informaticae, 97(1-2):41-91, 2009. [doi]

Abstract

Abstract is missing.