Freitas, Romulo, 		Barreto, Raimundo, E 		Maciel, Paulo.
" Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (4 novembro 2013)