Hou, et al.. An Efficient Siphon-based Deadlock Prevention Policy for a Class of Generalized Petri Nets. Hindawi Limited, 2016, doi:10.1155/2016/8219424.