Fifo nets without order deadlock (Q1819941)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3995068
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fifo nets without order deadlock |
scientific article; zbMATH DE number 3995068 |
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
0.8323200345039368
0 references
0.7534850835800171
0 references
0.7484820485115051
0 references
