Integration of EPC and a modularized colored Petri net through events for agile manufacturing cell control | IEEE Conference Publication | IEEE Xplore