New reachability trees for unbounded Petri nets.

ShouGuang Wang, MengChu Zhou, Mengdi Gan, Dan You, Yue Li

Browse the full ICRA paper archive.