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. 1)
1)
A.Mokhov, A.Yakovlev: “Conditional partial order graphs: model, synthesis and application”, IEEE Transactions on Computers, vol.59(11), pp.1480–1493, 2010.