GORGÔNIO, K. C.; http://lattes.cnpq.br/7626416403074455; GORGÔNIO, Kyller Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-12-27)
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. ...