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

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
→
Mestrado em Engenharia Elétrica.
→
Ver item

dc.creator.ID	DIAS, M. C.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/7166939121963977	pt_BR
dc.contributor.advisor1	PERKUSICH, Angelo.
dc.contributor.advisor1ID	PERKUSICH, A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/9439858291700830	pt_BR
dc.contributor.referee1	LIMA, Antonio Marcus Nogueira.
dc.contributor.referee2	BARROS, Péricles Rezende.
dc.contributor.referee3	BARROS, Tomaz de Carvalho.
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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Engenharia elétrica
dc.title	Verificação de receitas em sistemas de produção em lotes.	pt_BR
dc.date.issued	2000-11
dc.description.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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3452
dc.date.accessioned	2019-04-15T11:34:06Z
dc.date.available	2019-04-15
dc.date.available	2019-04-15T11:34:06Z
dc.type	Dissertação	pt_BR
dc.subject	Redes de Petri
dc.subject	Petri Nets
dc.subject	Petri coloridas
dc.subject	Colorful Petri
dc.subject	Produção em lotes
dc.subject	Batch production
dc.subject	Producción por lotes
dc.subject	Sistemas híbridos
dc.subject	Hybrid systems
dc.subject	Equações diferenciais
dc.subject	Differential Equations
dc.subject	Ecuaciones diferenciales
dc.subject	Fábrica de tintas
dc.subject	Fábrica de pinturas
dc.subject	Paint factory
dc.rights	Acesso Aberto	pt_BR
dc.creator	DIAS, Michel Coura.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Verification of recipes in batch production systems.	pt_BR
dc.identifier.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.	pt_BR