Freitas, Romulo, Raimundo Barreto, and Paulo Maciel.
" Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models." <em>Anais do III Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Niterói/RJ, 2013</em>. SBC, 2013,  
pp.107-112.