Return to Article Details Using Petri-Net Modelling to Support the Case for HW-Assisted Task Scheduling Download Download PDF