Abstract: Deadlock prevention policies for flexible manufacturing ... For a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR), new concepts of simple and complex ...