A coloured petri net based dynamic programming approach to the unit commitment problem | IEEE Conference Publication | IEEE Xplore