====== Structured Occurrence Net ======
Structured occurrence net is a model for capturing and analysis of causality and concurrency in families of execution traces\ [(Koutny_2009_fi)].

{{ overview:screenshot-son.png?nolink }}

[(Koutny_2009_fi> 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.)]