Modeling, Implementation and simulation of virtual factory based on colored timed Petri net | IEEE Conference Publication | IEEE Xplore