On forbidden state problems for a class of controlled Petri nets. - René K. Boel; L. Ben-Naoum; V. Van Breusegem (IEEE Trans. Autom. Control., 1995)