H. Morais, Lucas, Alfredo Goldman, and Guido Araujo.
"Using Petri-Net Modelling to Support the Case for HW-Assisted Task Scheduling." <em>Anais do XVIII Simpósio em Sistemas Computacionais de Alto Desempenho,
Campinas, 2017</em>. SBC, 2017,  
pp.112-123.