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

@article{Koutny2009StructuredON,
  title={Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques},
  author={M. Koutny and B. Randell},
  journal={Fundam. Informaticae},
  year={2009},
  volume={97},
  pages={41-91}
}
  • M. Koutny, B. Randell
  • Published 2009
  • Computer Science
  • Fundam. Informaticae
  • This paper introduces the concept of a 'structured occurrence net', which as its name indicates is based on that of an 'occurrence net', a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system. [...] Key Method We provide a formal basis for the new formalism and show how it can be used to gain better understanding of complex fault-error-failure chains (i) among co-existing communicating systems, (ii) between systems and…Expand Abstract
    Visualisation and analysis of complex behaviours using structured occurrence nets
    1
    SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets
    3
    Causality in Structured Occurrence Nets
    17
    Verification and Simulation Tool for Communication Structured Occurrence Nets
    1
    Process Windows
    2
    Petri nets, probability and event structures
    1
    1 Process Windows

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 27 REFERENCES