H. Morais, L., Goldman, A., & Araujo, G. 2017 Oct 17. Using Petri-Net Modelling to Support the Case for HW-Assisted Task Scheduling. Proceedings of the Symposium on High Performance Computing Systems (SSCAD). [Online] :