Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation | IEEE Conference Publication | IEEE Xplore