no way to compare when less than two revisions

Diferenças

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

@@ 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]]