Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets | IEEE Conference Publication | IEEE Xplore