Adaptação de modelos em redes de petri coloridas.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	GORGÔNIO, K. C.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/7626416403074455	pt_BR
dc.contributor.advisor1	PERKUSICH, Ângelo.
dc.contributor.advisor1ID	Perkusich, A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/9439858291700830	pt_BR
dc.contributor.referee1	FIGUEIREDO , Jorge César Abrantes de.
dc.contributor.referee2	COSTA, Evandro de Barros.
dc.description.resumo	Neste 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.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 CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação	pt_BR
dc.title	Adaptação de modelos em redes de petri coloridas.	pt_BR
dc.date.issued	2001-12-27
dc.description.abstract	In 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.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027
dc.date.accessioned	2019-12-10T09:32:25Z
dc.date.available	2019-12-10
dc.date.available	2019-12-10T09:32:25Z
dc.type	Dissertação	pt_BR
dc.subject	Redes de Petri de Alto Nível	pt_BR
dc.subject	Engenharia de Software	pt_BR
dc.subject	Métodos Formais	pt_BR
dc.subject	Reúso de Software	pt_BR
dc.subject	Adaptação de Modelos	pt_BR
dc.subject	High Level Petri Nets	pt_BR
dc.subject	Software Engineering	pt_BR
dc.subject	Formal Methods	pt_BR
dc.subject	Software Reuse	pt_BR
dc.subject	Model Adaptation	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	GORGÔNIO, Kyller Costa.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Model adaptation in colored petri nets.	pt_BR
dc.identifier.citation	GORGÔ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/10027	pt_BR