dblp: Antoni GuaschTIMSPAT – Reachability graph search-based optimization tool for colored Petri net-based scheduling.

, , :
TIMSPAT – Reachability graph search-based optimization tool for colored Petri net-based scheduling. Computers & Industrial Engineering 101: 372-390 ()