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]

Authors

Olatunde T. Baruwa

This author has not been identified. Look up 'Olatunde T. Baruwa' in Google

Miquel Angel Piera Eroles

This author has not been identified. Look up 'Miquel Angel Piera Eroles' in Google

Antoni Guasch

This author has not been identified. Look up 'Antoni Guasch' in Google