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