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 [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.