Computing bounds for forbidden State reachability functions for controlled Petri nets. - Lawrence E. Holloway; A. S. Khare; Yu Gong (IEEE Trans. Syst. Man Cybern. Part A, 2004)