New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

ShouGuang Wang, Dan You, MengChu Zhou. New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. Science in China Series F: Information Sciences, 61(12), 2018. [doi]

Abstract

Abstract is missing.