Modeling and Optimizing CPS Software Testing based on Petri Nets
Liqiong Chen, Guisheng Fan, and Huiqun Yu
Int J Performability Eng . 2017, (8): 1183 -1194 .  DOI: 10.23940/ijpe.17.08.p2.11831194