INGAR 05399
INSTITUTO DE DESARROLLO Y DISEÑO
Unidad Ejecutora - UE
informe técnico
Título:
Informe técnico interno - PA/IA006/11
Autor/es:
MARCELA VEGETTI; CRISTIAN MARTINEZ; SILVIO GONNET; HORACIO LEONE
Fecha inicio/fin:
2011-03-01/2011-12-31
Páginas:
1-13
Naturaleza de la
Producción Tecnológica:
Modelo conceptual
Campo de Aplicación:
Industrial
Descripción:
El objetivo de este informe técnico es presentar el estado de avance en la la tarea de investigación relacionada con la definición de la topología de una red de Petri que permita la representación y el estudio formal de los modelos de productos que pueden definirse utilizando la ontología PRONTO. El análisis de ciertas propiedades de las redes obtenidas permitirá detectar problemas de consistencia de dichos modelos subyacentes. Las propiedades acotación y alcanzabilidad son útiles para detectar la inviabilidad a nivel de configuración. Los nodos del grafo de alcanzabilidad representan todas las posibles configuraciones de la familia de productos.
