Nets, sequential components and concurrency relations (Q797994)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nets, sequential components and concurrency relations
scientific article

    Statements

    Nets, sequential components and concurrency relations (English)
    0 references
    1984
    0 references
    Two approaches to the notion of concurrency on the system level are discussed. One starts with a given decomposition of a net into sequential components. In the other one the concurrency relation is defined from a given marking class. It is shown that the postulate about a common element for every global system state and every sequential component under minor additional conditions imply the decomposability of the net into finite state machines.
    0 references
    Petri nets
    0 references
    densities
    0 references
    concurrency
    0 references
    decomposition
    0 references
    sequential components
    0 references
    marking class
    0 references
    finite state machines
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references