Algebra of two-level cause-effect structures (Q1350917)

From the conclusion: The extension of Cause-Effect Structures (CESs), the Two-level CESs (TCESs), introduced in this paper has the following advantages: The algebra of TCESs has no structural deadlocks, the distributive axiom holds, and the operation \(\oplus\) is `regular', i.e., the behaviour of the compound TCESs is equal to the union of behaviours of the summands; there is a converse mapping from PNs to TCESs in the sense of strong equivalence. The class of TCESs is a convenient intermediate class between PNs and CESs, because it is strongly equivalent to the class of PNs and, on the other hand, any TCES can be easily transformed into a CES. Several TCESs are transformed into one and the same CES, so the classes of structurally equivalent TCESs are created. Each such class has a maximal TCES with respect to the relation `to be a substructure', and the set of maximal TCESs is strongly equivalent to the set of all CESs.