H. Morais, Lucas, Goldman, Alfredo, AND Araujo, Guido. " Using Petri-Net Modelling to Support the Case for HW-Assisted Task Scheduling" Proceedings of the Brazilian Symposium on High Performance Computing Systems (SSCAD) [Online], (17 October 2017)