GORGÔNIO, K. C.; http://lattes.cnpq.br/7626416403074455; GORGÔNIO, Kyller Costa.
Resumo:
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.