A new reachability tree for unbounded Petri nets

Yue Li, ShouGuang Wang, Jing Yang. A new reachability tree for unbounded Petri nets. In 10th IEEE International Conference on Control and Automation, ICCA 2013, Hangzhou, China, June 12-14, 2013. pages 1296-1301, IEEE, 2013. [doi]

Abstract

Abstract is missing.