Modelagem e CLP
Plano de Ensino Modelagem e Controladores Lógicos Programáveis 2018
Slides: Aula 2 – Linguagens e Expressões Regulares
Slides: Aula 4 – Redes de Petri
Software Utilizados:
IDES (Autômatos): https://qshare.queensu.ca/Users01/rudie/www/software.html
Tutorial: https://qshare.queensu.ca/Users01/rudie/www/IDES3Tutorial/tutorial.html
Tina (Autômatos e Redes de Petri): http://projects.laas.fr/tina/
http://www.cs.waikato.ac.nz/~robi/download_waters/
Referências Complementares:
- Pavei, J. Coordenação em Sistemas Multi-Robôs Utilizando Métodos Baseados em Autômatos. UFSC 2011.
- Constain, N.B.P. Integração de sistemas scada com a implementação de controle supervisório em CLP para sistemas de manufatura. Dissertação. UFSC. 2011.
- Mello, A.T.F. Barbosa, M.C. Transcritor de redes de Petri para linguagem de programação de máquina. Monografia. Escola Politécnica da Universidade de São Paulo. 2010.
- REISER, C. O Ambiente GRAIL para Controle Supervisório de Sistemas a Eventos Discretos: Reestruturação e Implementação de Novos Algorítmos.Dissertação. UFSC. 2005.
- Vieira, A. D. Implementação de estrutura de controle de sistema a eventos discretos em controlador lógico programável utilizando a teoria Controle Supervisório Modular Local. UFSC. 2003.
- Braga, R. P. F. Contribuições ao Controle Supervisório de Sistemas Modelados por Redes de Petri. Dissertação. UFSC. 2006.