Fifo nets without order deadlock (Q1819941): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00268843 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1998467885 / rank | |||
Normal rank | |||
Latest revision as of 11:51, 30 July 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
