Efficient deadlock prevention in Petri nets through the generation of selected siphons | IEEE Conference Publication | IEEE Xplore