====== Conditional Partial Order Graph ======
Conditional partial order graph is a formalism for specifying a collection of behavioural scenarios, and combining them into a compact graph representation using the optimal encoding\ [(Mokhov_2010_ieeetcad)].

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

[(Mokhov_2010_ieeetcad> A.\ Mokhov, A.\ Yakovlev: //“Conditional partial order graphs: model, synthesis and application”//, IEEE Transactions on Computers, vol.59(11), pp.1480--1493, 2010.)]