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
    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

    Identifiers