overview:cpog
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.
Copyright © 2014-2024 workcraft.org