A siphon-based deadlock prevention policy for flexible manufacturing systems

This paper present a siphon-based algorithm of deadlock prevention for a type of Petri nets called (SPMR)-P-3, a subclass of S(3)PGR(2) defined in [14]. The proposed method is an iterative approach by adding two kinds of control places called ordinary control places and weighted control places to the original model to prevent siphons from being unmarked An ordinary control place with ordinary arcs that optimally prevents the related siphon from becoming unmarked is employed whenever it is possible and otherwise weighted control places that adopt a conservative policy of controlling the release of parts into the system are used. Furthermore, this algorithm is not only for the subclass Petri nets but also for (SPR)-P-3[3], (ESPR)-P-3[16], (SLSPR)-L-2[13] and S(3)PGR(2) nets.