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 Dice of two stages.The first stage is called siphons control.Strict minimal siphons (SMSs) in an S3PR net are computed and control places are added by imposing P-invariants associa