For the most recent entries see the Petri Nets Newsletter.

Fifo Nets without Order Deadlock.

Finkel, A.; Choquet, A.

In: Acta Informatica, Vol. 25, No. 1, pages 15-36. 1988.

Abstract: The authors 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. Quasiliveness, finite termination and liveness turn out to be decidable properties.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography