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]
@article{BaruwaEG16, title = {TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling}, author = {Olatunde T. Baruwa and Miquel Angel Piera Eroles and Antoni Guasch}, year = {2016}, doi = {10.1016/j.cie.2016.07.031}, url = {http://dx.doi.org/10.1016/j.cie.2016.07.031}, researchr = {https://researchr.org/publication/BaruwaEG16}, cites = {0}, citedby = {0}, journal = {Computers & Industrial Engineering}, volume = {101}, pages = {372-390}, }