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.