New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets
This work was supported by National Natural Science Foundation of China (Grant No. 61374148).
11432_2017_9446_MOESM1_ESM.pdf (246 kb)
© Science China Press and Springer-Verlag GmbH Germany, part of Springer Nature 2018