Lino, F., & 		Sztajnberg, A.
2007 jun 30.  Analisador e Simulador de Redes de Petri. Anais do Workshop de Sistemas Operacionais (WSO). [Online] :