Research on equipment maintenance tasks scheduling optimization problem based on Petri Nets | IEEE Conference Publication | IEEE Xplore