TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling
Keywords: نمودار قابل دستیابی; Colored Petri net; Scheduling; Reachability graph; Heuristic search; Discrete event system; Flexible manufacturing system; Simulation;