An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants
Azuma Taguchi, Satoshi Taoka, Takuo Watanabe · 2003
A siphon-trap of a Petri net N = (P, T, E, /spl alpha/, /spl beta/) is defined as a set S of places such that, for any transition t, there is an edge from t to a place of S if and only if there is an edge from a place of S to t. In this paper, we propose an O(|P|/sup 2/(|P| + |T| + |E|)) time algorithm GMST and another one GMST/sub i/ that repeats GMST i times. By incorporating GMST/sub i/ into the Fourier-Motzkin method as preprocessing, we propose an algorithm STFM_G/sub i/ for computing minimal-support nonnegative integer invariants. It is shown, through experimental results, that GMST/sub i/ can extract more minimal siphon-traps and is faster than existing algorithms and that STFM_G/sub i/ has high possibility of finding, if any, at least one minimal-support nonnegative integer invariant.