A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems


A new method for the deadlock prevention problem in concurrent systems where a set of processes share a set of common resources in a conservative way is proposed. It can be applied to flexible manufacturing systems, modeled with Petri nets. In this paper, we present a set of important results related to the deadlock prevention problem in nets. First, a… (More)
DOI: 10.1109/ROBOT.2005.1570131



Citations per Year

100 Citations

Semantic Scholar estimates that this publication has 100 citations based on the available data.

See our FAQ for additional information.