Geração e análise dinâmica do espaço de estados de redes de Petri com uso interati...
Detecção e tratamento de falhas em sistemas de manufatura baseados no formalismo d...
Utilização de Raspberry Pi como CLP e sua programação com Rede de Petri
Implementação de um ambiente virtual realístico para sistemas de controle embarcad...
Desenvolvimento de sistema de gerenciamento de energia (EMS - Energy Management Sy...
Monitor permanente de redes Profibus DP com recursos para indústria 4.0