Algebra of two-level cause-effect structures

DOI10.1016/0020-0190(96)00128-7MaRDI QIDQ1350917zbMATH OpenOpenAlexWikidataFDO

Authors A. P. Ustimenko

Publication date 27 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(96)00128-7

zbMATH Keywords

algebracause-effect structureconcurrencyPetri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 1533825
• Cause-effect structures
• Mapping timed cause-effect structures into timed Petri nets
• Remarks on the equivalence of c-e structures and Petri nets

Cites work

• Cause-effect structures
• scientific article; zbMATH DE number 3980497 (Why is no real title available?)
• Mapping timed cause-effect structures into timed Petri nets
• Remarks on the equivalence of c-e structures and Petri nets

Cited in

(5)

• Process languages and nets
• Colored cause-effect structures
• scientific article; zbMATH DE number 1533825 (Why is no real title available?)
• scientific article; zbMATH DE number 1534588 (Why is no real title available?)
• Extensions of elementary cause-effect structures

This page was built for publication: Algebra of two-level cause-effect structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1350917)