For the most recent entries see the Petri Nets Newsletter.

Deadlock-Avoidance Mechanisms in Distributed Systems.

Datta, A.K.; Ghosh, S.; Harms, D.; Elmagarmid, A.K.

In: Comput. Syst. Sci. Eng., Vol. 3, No. 2, pages 67-82. April 1988.

Abstract: There are instances in real-time applications where several distributed processes compete for access to a shared resource. Major concerns with these problems are deadlock and decentralization. Two synchronization mechanisms are presented which address these issues. Both mechanisms are proven to be deadlock-free by demonstrating the liveness property of the corresponding Petri net used to model the problem.

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

Back to the Petri Nets Bibliography