ZhiWu Li MengChu Zhou On Siphon Computation for Deadlock Control in a Class of Petri Nets. 667-679 2008 38 IEEE Transactions on Systems, Man, and Cybernetics, Part A 3 http://dx.doi.org/10.1109/TSMCA.2008.918605 db/journals/tsmc/tsmca38.html#LiZ08b