この資料をSMS送信: Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints