An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants | IEEE Conference Publication | IEEE Xplore