publicações selecionadas Um simulador de redes de petri de alto nível para uso didático Um sistema de apoio ao ensino de redes de Petri