Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3452
Title: | Verificação de receitas em sistemas de produção em lotes. |
Other Titles: | Verification of recipes in batch production systems. |
???metadata.dc.creator???: | DIAS, Michel Coura. |
???metadata.dc.contributor.advisor1???: | PERKUSICH, Angelo. |
???metadata.dc.contributor.referee1???: | LIMA, Antonio Marcus Nogueira. |
???metadata.dc.contributor.referee2???: | BARROS, Péricles Rezende. |
???metadata.dc.contributor.referee3???: | BARROS, Tomaz de Carvalho. |
Keywords: | 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 |
Issue Date: | Nov-2000 |
Publisher: | Universidade Federal de Campina Grande |
Citation: | DIAS, Michel Coura. Verificação de receitas em sistemas de produção em lotes. 2000. 71f. (Dissertação de Mestrado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil, 2000. |
???metadata.dc.description.resumo???: | 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. |
Abstract: | Hybrid systems has been of great interest in the Petri Nets World. Particularly, the hybrid systems known as Batch Production Systems has been researched, mainly due to the great application in food and fine chemistry industry. In such systems, the recipes define the sequence of steps to produce one batch of product. In this work we introduce one method to the verification of such recipes using Colored Petri Nets. Both the discrete and continuous aspects are analysed. Finally, the implementation of the method is illustrated by its application to examples. |
Keywords: | 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 |
???metadata.dc.subject.cnpq???: | Engenharia elétrica |
URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3452 |
Appears in Collections: | Mestrado em Engenharia Elétrica. |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
MICHEL COURA DIAS - DISSERTAÇÃO PPGEE 2000.pdf | Michel Coura Dias - Dissertação PPGEE 2000 | 12.73 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.