Jeng S. Huang Tadao Murata A Constructive Method for Finding Legal Transition Sequences in Petri Nets. 189-222 1998 8 Journal of Circuits, Systems, and Computers 1 http://dx.doi.org/10.1142/S0218126698000080 db/journals/jcsc/jcsc8.html#HuangM98