Implementação de uma arquitetura de controle distribuído para sistema produtivo.

Abstract

Ao professor Paulo Eigi Miyagi, pela orientação e pelo constante estímulo transmitido durante todo o trabalho. O presente trabalho foi realizado com apoio do CNPq, Conselho Nacional de Desenvolvimento Científico e Tecnológico-Brasil. Aos professores Diolino José dos Santos Filho e Fabrício Junqueira, pelo apoio técnico e acadêmico constantes ao trabalho.

Modeling of manufacturing execution in disperse productive systems using service oriented technique

“…Then, the practical implementation of the architecture was carried out [Fattori, 2010]. In that work, a set of web services were developed and implemented in a disperse PS emulated by stations of an automated flexible manufacturing system.…”

Funcionalidades do ERP no padrão indústria 4.0.

“…A RdP possibilita a representação estrutural de um sistema e sua dinâmica em diferentes níveis de abstração. Matematicamente, a RdP pode ser descrita como um conjunto de equações algébricas lineares e, por conta disso, pode ser usada para a verificação formal de relações entre eventos, atividades concorrentes, sincronização, inexistência de deadlocks e atividades cíclicas (FATTORI, 2010).…”

“…A RdP é composta por uma 5-tupla RdP = (P, T, F, M, C), onde (CASSANDRAS; LAFORTUNE, 2008;FATTORI, 2010;KANO et al, 2014):…”

“…A técnica do PFS tem como objetivo sistematizar a modelagem de sistemas, com seus estados e eventos, a partir de refinamentos sucessivos, resultando assim em uma abordagem top-down, onde as atividades são detalhadas a partir de outras atividades e distribuidores organizados de forma hierárquica (ALMEIDA, 2008;FATTORI, 2010;SOUIT, 2013)…”

“…RdP possui propriedades que permitem, ao desenvolvedor do modelo, a verificação de comportamentos e funcionalidades esperados de acordo com a natureza do sistema(CASSANDRAS;LAFORTUNE, 2008;DIALLO;RODRIGUES;SENE, 2015;FATTORI, 2010;FORTIER;MICHEL, 2003;RAMADGE;WONHAM, 1989). Asseguintes propriedades são utilizadas para verificar os comportamentos das Redes de Petri apresentadas no projeto, e para validar a dinâmica do sistema modelado: (i) alcançabilidade, (ii) vivacidade e (iii) reversibilidade.…”