Krebs, D. Éden; Sawicki, S. ESTUDO COMPARATIVO DAS FERRAMENTAS PIPE2, MERCURY TOOL E TIMENET BASEADAS EM REDES DE PETRI. SC 2016, 2.