Conditional partial order graphs and dynamically reconfigurable control synthesis
Andrey Mokhov, Alex Yakovlev · 2008
The paper introduces a new formal model for specifying control paths in the context of asynchronous system design. The model, called Conditional Partial Order Graph (CPOG), is capable of capturing concurrency and choice in a system's behaviour in a compact and efficient way. A problem of CPOG synthesis is formulated and solved; various CPOG optimisation techniques are presented.