TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling

Olatunde T. Baruwa, Miquel Angel Piera Eroles, Antoni Guasch. TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling. Computers & Industrial Engineering, 101:372-390, 2016. [doi]

Abstract

Abstract is missing.