Simulation Model of Maintenance Support System's Efficiency Based on Petri-net | IEEE Conference Publication | IEEE Xplore