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

• Ano de defesa: 2001
• Autor(a) principal: GORGÔNIO, Kyller Costa.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO; UFCG
• Palavras-chave em Português: Redes de Petri de Alto Nível; Engenharia de Software; Métodos Formais; Reúso de Software; Adaptação de Modelos; High Level Petri Nets; Software Engineering; Formal Methods; Software Reuse; Model Adaptation; Ciência da Computação
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10027

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.