Ying Tang: Unified Colored Timed Petri net models for the adaptive control of disassembly systems. CASE 2008: 638-643