Disclaimer
This directory contains postscript and PDF files of
articles that may be covered by copyright. You may browse the articles
at your convenience (in the same spirit as you may read a journal or a
proceeding article in a public library). Retrieving, copying,
distributing these files may violate the copyright protection law. We
recommend that the user abides international law in accessing this
directory.
| [1] |
Kyller Costa Gorgônio. Adaptacão de modelos em redes de Petri
coloridas. Dissertacão de mestrado, Coordenacão de Pós-Graduacão em
Informática, Universidade Federal da Paraíba, Campina Grande, Paraíba
(Brasil), March 2001. in portuguese. [ bib | pdf ]
Neste trabalho introduz-se uma abordagem para a
adaptacã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 restricões de comportamento, sintetiza um novo modelo. Este
procedimento foi definido com base nos conceitos e técnicas da Teoria
do Controle Supervisório e da Verificacão Automática de Modelos. Além
disso, aborda-se o problema da adaptacão num contexto de reúso de
modelos.
|
This file was generated by bibtex2html 1.91.
|
|