Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets | IEEE Conference Publication | IEEE Xplore