Elementos Lógicos da Programação III
Matemática e Ciências da Computação
Apresentação
Avisos e Sumários
Bibliografia
Apontadores
Avaliação
Material de Apoio
Contactar Docente
Petri Nets
Petri Nets World
Petri Net Markup Language
Ferramentas
PEP - Programming Environment based on Petri Nets
DaNAMiCS - a Petri Net Editor
The SMV System
Workflow Petri Net Designer
Platform Independent Petri Net Editor
Maria: The Modular Reachability Analyzer
Edições Anteriores
2004/05
2003/04