Process Re-engineering Based on Colored Petri Nets: the Case of an Italian Textile Company | IEEE Conference Publication | IEEE Xplore