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

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: GORGÔNIO, Kyller Costa. lattes
Orientador(a): PERKUSICH, Ângelo. lattes
Banca de defesa: FIGUEIREDO , Jorge César Abrantes de., COSTA, Evandro de Barros.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
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
Área do conhecimento CNPq:
Ciência da Computação
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/10027
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.
id UFCG_27f0fd5d9a0f89643f549de020a80628
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/10027
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling PERKUSICH, Ângelo.Perkusich, A.http://lattes.cnpq.br/9439858291700830FIGUEIREDO , Jorge César Abrantes de.COSTA, Evandro de Barros.GORGÔNIO, K. C.http://lattes.cnpq.br/7626416403074455GORGÔNIO, Kyller Costa.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.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.Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2019-12-10T09:32:25Z No. of bitstreams: 1 KYLLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdf: 1255913 bytes, checksum: 9d6e2fe130be4e6b71e4ac78ae183dcc (MD5)Made available in DSpace on 2019-12-10T09:32:25Z (GMT). No. of bitstreams: 1 KYLLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdf: 1255913 bytes, checksum: 9d6e2fe130be4e6b71e4ac78ae183dcc (MD5) Previous issue date: 2001-12-27Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da ComputaçãoRedes de Petri de Alto NívelEngenharia de SoftwareMétodos FormaisReúso de SoftwareAdaptação de ModelosHigh Level Petri NetsSoftware EngineeringFormal MethodsSoftware ReuseModel AdaptationAdaptação de modelos em redes de petri coloridas.Model adaptation in colored petri nets.2001-12-272019-12-10T09:32:25Z2019-12-102019-12-10T09:32:25Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/10027GORGÔ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: https://dspace.sti.ufcg.edu.br/handle/riufcg/10027info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTKILLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdf.txtKILLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdf.txttext/plain120280https://dspace.sti.ufcg.edu.br/bitstream/riufcg/10027/4/KILLER+COSTA+GORG%C3%94NIO+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf.txte9b74dde730f1f304ba64e20bfd18f20MD54ORIGINALKILLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdfKILLER COSTA GORGÔNIO - DISSERTAÇÃO (PPGCC) 2001.pdfapplication/pdf1137354https://dspace.sti.ufcg.edu.br/bitstream/riufcg/10027/3/KILLER+COSTA+GORG%C3%94NIO+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf87132e6b254862bf5ba461cf92d8e48fMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/10027/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/100272025-07-24 05:17:56.42oai:dspace.sti.ufcg.edu.br:riufcg/10027Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T08:17:56Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Adaptação de modelos em redes de petri coloridas.
dc.title.alternative.pt_BR.fl_str_mv Model adaptation in colored petri nets.
title Adaptação de modelos em redes de petri coloridas.
spellingShingle Adaptação de modelos em redes de petri coloridas.
GORGÔNIO, Kyller Costa.
Ciência da Computação
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
title_short Adaptação de modelos em redes de petri coloridas.
title_full Adaptação de modelos em redes de petri coloridas.
title_fullStr Adaptação de modelos em redes de petri coloridas.
title_full_unstemmed Adaptação de modelos em redes de petri coloridas.
title_sort Adaptação de modelos em redes de petri coloridas.
author GORGÔNIO, Kyller Costa.
author_facet GORGÔNIO, Kyller Costa.
author_role author
dc.contributor.advisor1.fl_str_mv PERKUSICH, Ângelo.
dc.contributor.advisor1ID.fl_str_mv Perkusich, A.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/9439858291700830
dc.contributor.referee1.fl_str_mv FIGUEIREDO , Jorge César Abrantes de.
dc.contributor.referee2.fl_str_mv COSTA, Evandro de Barros.
dc.contributor.authorID.fl_str_mv GORGÔNIO, K. C.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7626416403074455
dc.contributor.author.fl_str_mv GORGÔNIO, Kyller Costa.
contributor_str_mv PERKUSICH, Ângelo.
FIGUEIREDO , Jorge César Abrantes de.
COSTA, Evandro de Barros.
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
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
dc.subject.por.fl_str_mv 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
description 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.
publishDate 2001
dc.date.issued.fl_str_mv 2001-12-27
dc.date.accessioned.fl_str_mv 2019-12-10T09:32:25Z
dc.date.available.fl_str_mv 2019-12-10
2019-12-10T09:32:25Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/10027
dc.identifier.citation.fl_str_mv 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/10027
url https://dspace.sti.ufcg.edu.br/handle/riufcg/10027
identifier_str_mv 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/10027
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/10027/4/KILLER+COSTA+GORG%C3%94NIO+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/10027/3/KILLER+COSTA+GORG%C3%94NIO+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2001.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/10027/2/license.txt
bitstream.checksum.fl_str_mv e9b74dde730f1f304ba64e20bfd18f20
87132e6b254862bf5ba461cf92d8e48f
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1863363454088249344

Registros relacionados