overview:son

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.