Cause-effect structures (Q1101232)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cause-effect structures |
scientific article |
Statements
Cause-effect structures (English)
0 references
1988
0 references
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.
0 references
concurrent systems
0 references
cause-effect structures
0 references
condition-event Petri nets
0 references