Verificação de receitas em sistemas de produção em lotes.

• Ano de defesa: 2000
• Autor(a) principal: DIAS, Michel Coura.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA; UFCG
• Palavras-chave em Português: Redes de Petri; Petri Nets; Petri coloridas; Colorful Petri; Produção em lotes; Batch production; Producción por lotes; Sistemas híbridos; Hybrid systems; Equações diferenciais; Differential Equations; Ecuaciones diferenciales; Fábrica de tintas; Fábrica de pinturas; Paint factory; Engenharia elétrica
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3452

A pesquisa por abordagens para modelar sistemas híibridos usando redes de Petri tem sido de grande interesse atualmente na comunidade de Redes de Petri. Particularmente, os sistemas híbridos conhecidos como Sistemas de Produção em Lotes têm despertado interesse devido a sua grande aplicação industrial principalmente na indústria de química fina, alimentos e refinarias. Em tais sistemas as receitas definem a sequência de ações para se produzir um lote de produto. Introduz-se neste trabalho um método para a verificação de tais receitas usando redes de Petri Coloridas. Tanto os aspectos discretos como contínuos são analisados. Por fim, a implementação do método é ilustrada através de sua aplicação a exemplos.