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 CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027
Full metadata record
DC FieldValueLanguage
dc.creator.IDGORGÔNIO, K. C.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/7626416403074455pt_BR
dc.contributor.advisor1PERKUSICH, Ângelo.-
dc.contributor.advisor1IDPerkusich, A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9439858291700830pt_BR
dc.contributor.referee1FIGUEIREDO , Jorge César Abrantes de.-
dc.contributor.referee2COSTA, Evandro de Barros.-
dc.description.resumoNeste trabalho introduz-se uma abordagem para a adaptação automática de modelos em redes de Petri. Para esta abordagem define-se um procedimento que, a partir de um modelo e de um conjunto de restrições de comportamento, sintetiza um novo modelo. Este procedimento foi definido om base nos conceitos e técnicas da Teoria do Controle Supervisório e da Verificação Automática de Modelos. Além disso, aborda-se o problema da adaptação num contexto de reuso de modelos.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 CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computaçãopt_BR
dc.titleAdaptação de modelos em redes de petri coloridas.pt_BR
dc.date.issued2001-12-27-
dc.description.abstractIn this work we introduce an automatic adaptation approach for Colored Petri Nets models. For this approach we dene a procedure for the synthesis of a new model based on a given model and a set of behavior restrictions. This procedure was defined based on the concepts and techniques of the supervisory control theory and model he king. Moreover, we tackle the adaptation problem in the context of models reuse.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027-
dc.date.accessioned2019-12-10T09:32:25Z-
dc.date.available2019-12-10-
dc.date.available2019-12-10T09:32:25Z-
dc.typeDissertaçãopt_BR
dc.subjectRedes de Petri de Alto Nívelpt_BR
dc.subjectEngenharia de Softwarept_BR
dc.subjectMétodos Formaispt_BR
dc.subjectReúso de Softwarept_BR
dc.subjectAdaptação de Modelospt_BR
dc.subjectHigh Level Petri Netspt_BR
dc.subjectSoftware Engineeringpt_BR
dc.subjectFormal Methodspt_BR
dc.subjectSoftware Reusept_BR
dc.subjectModel Adaptationpt_BR
dc.rightsAcesso Abertopt_BR
dc.creatorGORGÔNIO, Kyller Costa.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeModel adaptation in colored petri nets.pt_BR
dc.identifier.citationGORGÔNIO, K. C. Adaptação de modelos em redes de petri coloridas. 2001. 71 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2001. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
KILLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdfKiller Costa Gorgônio - Dissertação (PPGCC) 2001.1.11 MBAdobe PDFView/Open
Show simple item record


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