Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
Elementary Siphons of Petri Nets and Deadlock Control in FMS