PMR5023 - Modelagem e Análise de Sistemas de Automação - Abordagem Baseada em Redes de Petri (2017)

Apesar do software já estar na versão 5.0.1, no laboratório estamos utilizando a versão 4.3.0.

Na turma 1 as aulas foram com a versão 2.5. No entanto apresentaram muitos resultados incorretos. Recomenda-se que os alunos da turma 1 refaçam seus modelos com a versão 4.3.0.

É necessário ter instalado o Java versão 1.7 ou superior.

Após descompactar, execute o arquivo "launch.bat".