Non redundant siphon control in ordinary petri nets. - Luigi Piroddi; Roberto Cordone; Ivano Fumagalli (CDC, 2007)

Selective Siphon Control for Deadlock Prevention in Petri Nets. - Luigi Piroddi; Roberto Cordone; Ivano Fumagalli (IEEE Trans. Syst. Man Cybern. Part A, 2008)

Efficient deadlock prevention in Petri nets through the generation of selected siphons. - Luigi Piroddi; Roberto Cordone; Ivano Fumagalli (ACC, 2009)

Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets. - Luigi Piroddi; Roberto Cordone; Ivano Fumagalli (IEEE Trans. Syst. Man Cybern. Part A, 2009)

A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets. - Ivano Fumagalli; Luigi Piroddi; Roberto Cordone (ACC, 2010)