User:Andreymokhov/Conditional partial order graph

A Conditional Partial Order Graph (also called CPOG for short) is a directed graph with Boolean functions on its vertices and arcs.

A Conditional Partial Order Graph (also called CPOG for short) is a mathematical model for representation of multiple partial orders of events in a compact overlay form. Originally it was introduced as an alternative to Petri nets and Finite State Machines for specification and synthesis of microcontrol digital circuits.