A timed colored Petri nets approach to process scheduling | IEEE Conference Publication | IEEE Xplore