Adaptação de modelos em redes de petri coloridas.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Engenharia de Software
-
Métodos Formais
-
Redes de Petri
-
Sistemas a Eventos Discretos
-
Teoria do Controle Supervisório
-
Verificação Automática de Modelos
Identidade
identificador BrCris
-
87909b840656dabaad5d2a8d11bd953c
identificador Capes
-
200113124001023014P4-Publication
identificador Oasisbr
-
UFCG_39570e96e0751f6fde92181048e5e090