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={Maciej Koutny and Brian Randell},
  journal={Fundam. Inform.},
  year={2009},
  volume={97},
  pages={41-91}
}
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. Structured occurrence nets consist of multiple occurrence nets, associated together by means of various types of relationship, and are intended for recording either the actual behaviour of complex systems as they… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS
18 Citations
6 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…