Modeling and Analysis of Equipment Virtual Maintenance Process Based on Extended Petri Net. - He, Jianbin; Su, Qunxing; Liu, Pengyuan (2009)