A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis
This paper derives an iterative deadlock prevention policy for systems of simple sequential processes with resources (S3PRs) based on structural analysis, which consists of two stages.The first stage is called siphons control.Strict minimal siphons Knives (SMSs) in an S3PR net are computed and control places are added by imposing P-invariants assoc