ShouGuang Wang, MengChu Zhou, Mengdi Gan, Dan You, Yue Li. New reachability trees for unbounded Petri nets. In IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015. pages 3862-3867, IEEE, 2015. [doi]
Abstract is missing.