Redes de Petri

research line of

• Laboratório de Automação e Sistemas Inteligentes  Grupo de Pesquisa
• Laboratório de Inteligência Artificial e Métodos Formais  Grupo de Pesquisa