A timed colored Petri nets modeling for dynamic workflow in product development process · Study