Workflow Model of Equipment Maintenance Support Based on Petri-Net | IEEE Conference Publication | IEEE Xplore