Fifo nets without order deadlock (Q1819941): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 04:47, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fifo nets without order deadlock |
scientific article |
Statements
Fifo nets without order deadlock (English)
0 references
1988
0 references
We introduce a generalization of free choice nets to fifo. These fifo nets are free from deadlocks caused by the order of messages in fifo queues. We describe some tools for their analysis, using the facts that they are weakly monotonous, and that there is a close relation between their languages and those of the associated coloured nets. Therefore, quasi-liveness, finite termination and liveness are decidable properties.
0 references
free choice nets
0 references
fifo nets
0 references
fifo queues
0 references
quasi-liveness
0 references
finite termination
0 references
