Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets | IEEE Conference Publication | IEEE Xplore