Maintenance scheduling for a power system operating assets using Petri nets integration with ant colony optimization | IEEE Conference Publication | IEEE Xplore