Ferramentas do usuário

Ferramentas do site


das5202

Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

Link para esta página de comparações

das5202 [2015/01/18 18:06] (atual)
mafra criada
Linha 1: Linha 1:
 +===== 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: ​
 +[[http://​www.das.ufsc.br/​~farines|Dr. Jean-Marie Farines]]
 +[[http://​www.das.ufsc.br/​~cury|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 [[http://​www.ppgia.pucpr.br/​~maziero/​petri/​arp.html|ARP]] e [[http://​jarp.sourceforge.net/​|JARP]],​ ambos softwares livres (sob GPL) desenvolvidos no [[http://​www.lcmi.ufsc.br|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 [[http://​www.csd.uwo.ca/​research/​grail/​|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**
 +
 +[[http://​www.das.ufsc.br/​~cury/​ensino-5202.html|Página da disciplina]]
das5202.txt · Última modificação: 2015/01/18 18:06 por mafra