Modeling and Analysis of Equipment Virtual Maintenance Process Based on Extended Petri Net | IEEE Conference Publication | IEEE Xplore