Cause-effect structures

DOI10.1016/0020-0190(88)90189-5MaRDI QIDQ1101232zbMATH OpenOpenAlexFDO

Authors Ludwik Czaja

Publication date 1988

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

Full work available at URL https://doi.org/10.1016/0020-0190(88)90189-5

zbMATH Keywords

cause-effect structuresconcurrent systemscondition-event Petri nets

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

The paper is an attempt to devise an algebraic calculus for analyzing behaviour of concurrent systems represented by the so-called cause-effect structures. In principle a cause-effect structure is a directed graph in which predecessors and successors of each node are grouped into regions. Nodes are considered as actions and a region is a group of action causes sufficient to make it active, or of its effects sufficient to make it passive. The author shows that the cause-effect structures are equivalent to condition-event Petri nets.

Recommendations

• scientific article; zbMATH DE number 1533825
• scientific article; zbMATH DE number 1136655
• Cause-effect structures. An algebra of nets with examples of applications
• Finite processes in cause-effect structures and their composition
• Propositional description of finite cause-effect structures

Cites work

• A calculus of communicating systems
• Communicating sequential processes
• scientific article; zbMATH DE number 3562470 (Why is no real title available?)
• Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
• Parallel program schemata

Cited in

(17)

• Composite structure and causality
• Propositional description of finite cause-effect structures
• Remarks on the equivalence of c-e structures and Petri nets
• Finite processes in cause-effect structures and their composition
• Algebra of two-level cause-effect structures
• Process languages and nets
• A calculus of nets
• Computing in cause-effect structures
• Cause-effect structures. An algebra of nets with examples of applications
• Colored cause-effect structures
• scientific article; zbMATH DE number 1339951 (Why is no real title available?)
• scientific article; zbMATH DE number 1136655 (Why is no real title available?)
• scientific article; zbMATH DE number 2064463 (Why is no real title available?)
• 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
• Processes in cause-effect structures

This page was built for publication: Cause-effect structures

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