Romulo Freitas, Raimundo Barreto, and Paulo Maciel. 2013.
 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>, novembro 04, 2013, Niterói/RJ, Brasil. SBC, Porto Alegre, Brasil, 107-112.