Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
On Structural Conditions of S 3 PR Based Siphons to Prevent Deadlocks in Manufacturing Systems