H. MORAIS, Lucas; GOLDMAN, Alfredo; ARAUJO, Guido. Using Petri-Net Modelling to Support the Case for HW-Assisted Task Scheduling. In: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 18. , 2017, Campinas. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2017 . p. 112-123. DOI: https://doi.org/10.5753/wscad.2017.243.