Some results on the computation of minimal siphons in Petri nets | IEEE Conference Publication | IEEE Xplore