On efficient estimation of reachable markings for S3PR
HONG Liang
J4 . 2014, (3): 169 -173 .  DOI: 10.3969/j.issn.1001-2400.2014.03.025