A Constructive Method for Finding Legal Transition Sequences in Petri Nets. - Jeng S. Huang; Tadao Murata (J. Circuits Syst. Comput., 1998)