Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming | IEEE Journals & Magazine | IEEE Xplore