Enumeration of reachable (forbidden, live, and deadlock) states of top k-th order system (with a non-sharing resource place) of Petri nets.

Daniel Yuh Chao, Tsung Hsien Yu

Browse the full IECON paper archive.