Petri net simulation model of basic equipment task unit  availability and its application
QU Chang-zheng, YU Yong-li
Journal of Systems Engineering and Electronics . 2011, (6): 1265 -1269 .  DOI: 10.3969/j.issn.1001-506X.2011.06.14