Cause-effect structures
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.
scientific article; zbMATH DE number 4047136