H. Morais, Lucas, Goldman, Alfredo, E Araujo, Guido. " Using Petri-Net Modelling to Support the Case for HW-Assisted Task Scheduling" Anais do SimpĆ³sio em Sistemas Computacionais de Alto Desempenho (SSCAD) [Online], (17 outubro 2017)