Real time control of multilevel manufacturing systems using colored Petri nets | IEEE Conference Publication | IEEE Xplore