Redes de petri

V Simp osio Brasileiro de Automac ~ ao Inteligente
Teoria de Controle Supervis´orio de Sistemas a Eventos Discretos
Prof. Jos´e Eduardo Ribeiro Cury
Universidade Federal de Santa Catarina
Departamento de Automa¸c˜ao e Sistemas [e-mail] Canela-RS, Novembro de 2001
Agradecimentos
Esta apostila foi elaborada a partir da minha experiˆencia como professor, orientador e pesquisador na ´area de Sistemas a Eventos Discretos e Sistemas
H´ıbridos, nos ´ultimos dez anos, inicialmente no Departamento de Engenha-ria El´etrica e mais recentemente no Departamento de Automa¸c˜ao e Sistemas da Universidade Federal de Santa Catarina. Ela n˜ao poderia ter sido reali-zada sem o apoio direto ou indireto de todos os meus alunos de Gradua¸c˜ao e
P´os Gradua¸c˜ao e orientados de Mestrado e Doutorado. Partes do documento devem inclusive ser creditadas a documentos que foram elaborados por estes.
Neste sentido, agrade¸co a todos estes alunos, alguns hoje colegas de profiss˜ao, em particular ao Antonio, C´esar, Jos´e Miguel, Max, Tati e Ziller, de quem
“roubei”id´eias, par´agrafos e/ou figuras.
Sum´ario
1 Introdu¸c˜ao 7
2 Sistemas a Eventos Discretos 9
2.1 Defini¸c˜ao e Caracter´ısticas . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Exemplos de Sistemas a Eventos Discretos . . . . . . . . . . . . . . . . . . 12
3 Um Problema Motivador 20
3.1 Linha de Produ¸c˜ao de Cervejas . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2 Considera¸c˜oes acerca da Resolu¸c˜ao do Problema . . . . . . . . . . . . . . . 23
3.3 Conclus˜ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4 Linguagens como modelos para SEDs 25
4.1 Nota¸c˜ao e defini¸c˜oes b´asicas . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.2 Opera¸c˜oes sobre linguagens . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.3 Representa¸c˜ao de SEDs por linguagens . . . . . . . . . . . . . . . . . . . . 27
4.4 Express˜oes Regulares . . . . . . . .