Verification Analysis for Delay Time Petri Nets
FENG Fujian
Computer Engineering and Applications . 2019, (4): 72 -78 .  DOI: 10.3778/j.issn.1002-8331.1807-0263