Aplicação em outro exemplo do trabalho intitulado “supervisory control architecture for discrete-event systems”

Esse post complementa o tutorial postado anteriormente (Tutorial sobre o trabalho: supervisory control architecture for discrete-event systems), em que se propõem um método para encontrar um coordenador para conflitos encontrados entre supervisores locais.

Nessa postagem eu disponibilizo uma apresentação onde exemplifico os passos mostrados no tutorial através de um outro exemplo, o de uma pequena fábrica com retrabalho.

Na apresentação coloquei as plantas e especificações de controle, bem como passos intermediários do que encontrei.

Baixe a apresentação em: Resolvendo conflitos em supervisores modulares. A apresentação pode ser reproduzida e alterada sem precisar solicitar minha autorização (disponibilizo ela em licença copyleft).

Baixe o arquivo para o DESTool aqui. O arquivo do DESTool está no meu Dropbox. Eu espero não acabar movendo ele de lugar, mas caso faça, comente e me solicite a correção do link. DESTool é o software que utilizei para confecção do exemplo e ele pode ser baixo em: www.rt.techfak.fau.de/FGdes/destool/