Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search. - Olatunde T. Baruwa; Miquel Angel Piera Eroles; Antoni Guasch (IEEE Trans. Syst. Man Cybern. Syst., 2015)

A timed state space-heuristic search framework for colored petri net-based scheduling of discrete event systems - an application to flexible manufacturing systems. - Olatunde T. Baruwa (2015)

TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling. - Olatunde T. Baruwa; Miquel Angel Piera Eroles; Antoni Guasch (Comput. Ind. Eng., 2016)