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