Lino, Felipe, E Sztajnberg, Alexandre. " Analisador e Simulador de Redes de Petri" Anais do Workshop de Sistemas Operacionais (WSO) [Online], (30 junho 2007)