基于扩展Petri网的设备虚拟维修过程建模与分析| IEEE会议出版物| IEEE Xplore