Process re-engineering based on colored petri nets: The case of an Italian textile company