1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
  4. Mestrado em Engenharia Elétrica.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3452
Full metadata record
DC FieldValueLanguage
dc.creator.IDDIAS, M. C.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/7166939121963977pt_BR
dc.contributor.advisor1PERKUSICH, Angelo.-
dc.contributor.advisor1IDPERKUSICH, A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9439858291700830pt_BR
dc.contributor.referee1LIMA, Antonio Marcus Nogueira.-
dc.contributor.referee2BARROS, Péricles Rezende.-
dc.contributor.referee3BARROS, Tomaz de Carvalho.-
dc.description.resumoA 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.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICApt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqEngenharia elétrica-
dc.titleVerificação de receitas em sistemas de produção em lotes.pt_BR
dc.date.issued2000-11-
dc.description.abstractHybrid 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.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3452-
dc.date.accessioned2019-04-15T11:34:06Z-
dc.date.available2019-04-15-
dc.date.available2019-04-15T11:34:06Z-
dc.typeDissertaçãopt_BR
dc.subjectRedes de Petri-
dc.subjectPetri Nets-
dc.subjectPetri coloridas-
dc.subjectColorful Petri-
dc.subjectProdução em lotes-
dc.subjectBatch production-
dc.subjectProducción por lotes-
dc.subjectSistemas híbridos-
dc.subjectHybrid systems-
dc.subjectEquações diferenciais-
dc.subjectDifferential Equations-
dc.subjectEcuaciones diferenciales-
dc.subjectFábrica de tintas-
dc.subjectFábrica de pinturas-
dc.subjectPaint factory-
dc.rightsAcesso Abertopt_BR
dc.creatorDIAS, Michel Coura.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeVerification of recipes in batch production systems.pt_BR
dc.identifier.citationDIAS, 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
Appears in Collections:Mestrado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
MICHEL COURA DIAS - DISSERTAÇÃO PPGEE 2000.pdfMichel Coura Dias - Dissertação PPGEE 200012.73 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.