Olá!

Este espaço é dedicado à explicações e debates sobre os modelos/exemplos disponibilizados junto com a CPN Tools – uma ferramenta para edição, simulação e análise de Redes de Petri Coloridas. Tais modelos foram trabalhados na disciplina Métodos Formais, ministrada pelo professor Dr. Pedro Fernandes (link blog).

Confira a relação dos exemplos na página Modelos.