Métodos estructurales para el diseño y análisis de sistemas concurrentes modelados con redes lugar/transición

Resumen

Uno de los métodos computacionalmente más eficientes para el análisis de redes de Petri es el basado en la aplicación de técnicas de álgebra lineal, Sin embargo, este método tiene un inconveniente, y es que en general solo se obtienen condiciones necesarias o suficientes, que no siempre permiten decidir. Estas condiciones pueden mejorarse en algunos casos imponiendo ciertas restricciones a los sistemas. En este sentido, dos clases de sistemas lugar/transición se han estudiado en este trabajo: la clase DSSP, obtenida mediante la comunicaci]3n asíncrona de procesos secuenciales, restringida de forma que los procesos no pueden competir por recursos: y la clase (DS)-SP, que se define generalizando recursivamente el proceso de construcción de la clase DSSP. El análisis de estas dos clases ha permitido deducir interesantes propiedades, que en particular mejoran los resultados existentes para el análisis de vivacidad. Otra posibilidad, para extender el conjunto de sistemas para los que los resultados existentes permite decidir, es complementar la técnicas de álgebra lineal con otro tipo de técnicas. En particular, en este trabajo se analiza cómo la aplicación de transformaciones y descomposiciones incrementa el poder de decisión, en el análisis de vivacidad y ausencia de bloqueo, de resultados conocidos basados en álgebra lineal. Finalmente, se estudia el modelo que se que se obtiene al eliminar la restricción de integralidad de los disparos de las transiciones en las redes lugar/transición. Se compara el comportamiento de esta red "continuizada" frente a la red discreta, y se proponen posibles extensiones continuas a algunas propiedades cualitativas que habitualmente se estudian en sistemas lugar/transición discretos.