Comments on “deadlock prevention policy based on petri nets and siphons”
Zhiwu Li, Murat Uzam, MengChu Zhou · International Journal of Production Research · 2004
Huang et al. (2001) proposed a deadlock prevention policy for a class of Petri nets, S3 PR. A liveness-enforcing Petri net supervisor can be obtained by adding monitors to the plant net model. The ...