Rodney R. Howell Louis E. Rosier Hsu-Chun Yen Normal and Sinkless Petri Nets. 1-26 1993 46 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss46.html#HowellRY93