Ferramentas do usuário

Ferramentas do site


das5202

DAS5202

Ementa

Sistemas a Eventos Discretos: conceituação, classificação, propriedades, exemplos. Redes de Petri: definições, propriedades, análise, implementação, Redes de Petri no controle de SEDs. Modelos autômatos de estado. Controle Supervisório: Teoria de controle para SEDs, baseada em autômatos. Sistemas de Supervisão: conceituação e aplicações em sistemas de automação.

Professores: Dr. Jean-Marie Farines Dr. José Eduardo Ribeiro Cury

Descrição

Esta disciplina consiste apenas de aulas teóricas e práticas sobre Redes de Petri e Autômatos. É recomendado o uso de alguns softwares para o aprendizado.

Na parte de Redes de Petri são recomendados os softwares ARP e JARP, ambos softwares livres (sob GPL) desenvolvidos no LCMI.

Outros softwares para o estudo de redes de petri são:

http://petri-net.sourceforge.net

A parte da disciplina sobre autômatos faz uso da ferramenta Grail, de computação simbólica para máquinas de estado finitas. No entanto, esta ferramenta não é livre, embora aberta. É permitido o uso para fins não lucrativos.

Ponteiros

Página da disciplina

das5202.txt · Última modificação: 2015/01/18 18:06 por mafra