L. H. Morais, A. Goldman, and G. Araujo. "Using Petri-Net Modelling to Support the Case for HW-Assisted Task Scheduling", in Anais do XVIII SimpĆ³sio em Sistemas Computacionais de Alto Desempenho, Campinas, 2017, pp. 112-123, doi: https://doi.org/10.5753/wscad.2017.243.