User Tools

Site Tools


Structured Occurrence Net

Structured occurrence net is a model for capturing and analysis of causality and concurrency in families of execution traces [1].

[1] M. Koutny, B. Randell: “Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques”, Fundamenta Informaticae, vol.97(1–2), pp.41–91, 2009.
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki