Os modelos por SEDs descrevem o comportamento do sistema sem restrição, isto é, dado que uma seqüência de eventos ocorreu, as transições de estados resultantes são determinadas unicamente pelas características dinâmicas do sistema. Isso faz do autômato um gerador de
Automação industrial
O objetivo dessa linha de pesquisa é a utilização da teoria de controle supervisório no desenvolvimento de sistemas de automação de células de manufatura e de linhas de produção e sua implementação. No contexto da implementação, o interesse é o