A deadlock prevention method for a class of FMS
Kamel Barkaoui, Imed Ben Abdallah · 2002
In this paper we propose a deadlock prevention method for a class of FMS called System of Simple Sequential Processes with Resources (S/sup 3/PR). This method is based on structural theory of Petri nets and it is composed by two phases. The first phase adds local control places to the S/sup 3/PR net such that all uncontrolled siphons of the S/sup 3/PR net become controlled. We then obtain the augmented S/sup 3/PR net. When deadlock-freeness of the augmented S/sup 3/PR net is not guaranteed, we modify initial markings of local control places. Thus, we obtain the controlled S/sup 3/PR net. We demonstrate that the controlled net cannot reach a dead-marking and by exploiting its structure, we state its liveness.