Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets. - Daniel Yuh Chao; Tsung Hsien Yu; Chia Chang Liou (ICNSC, 2014)