![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
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;