Técnica de rede de Petri: Uma representação gráfica para o robô Emmy II Maurício F. Blos, Neila Karina Rodrigues, Hyghor Miranda Côrtes, Sérgio Luiz Hoeflich

Resumo

O robô Emmy II é um robô autônomo, cuja operação é baseada na Paraconsistent Annotated Logic (PAL) com seis estados lógicos. Seu sistema de controle, chamado de Para Control, é capaz de lidar com situações de incerteza, de inconsistência e contradição de uma forma não trivial. A rede de Petri (PN) como uma técnica gráfica fornece um ambiente uniforme para modelagem de sistemas de eventos discretos (DES). Neste artigo, a PN será usada como um interpretador do Para Control, fornecendo algumas regras gráficas para o processo de locomoção do Emmy.