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