Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets

Luigi Piroddi, Roberto Cordone, Ivano Fumagalli. Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 39(3):650-661, 2009. [doi]

Abstract

Abstract is missing.