Tesis doctoral de Pérez Jiménez Carlos José
Los constantes avances tecnológicos conllevan la construcción y utilización de sistemas reales cada vez más complejos. Para el estudio y comprensión del funcionamiento de estos sistemas, se hace necesario el uso de técnicas formales. Las redes de petri constituyen un formalismo adecuado para atacar estos problemas. Añadiendo una interpretación temporal estocástica, es posible realizar estudios de evaluación de prestaciones de los sistemas modelados. El principal inconveniente de estas técnicas es el conocido como problema de la explosión del espacio de estados. Para reducir el efecto de este problema, se utiliza una estrategia de divide y vencerás. en esta memoria se ataca el problema de evaluar el número medio de disparos por unidad de tiempo (throughput) en estado estacionario de las transiciones de una red de petri estocástica. Para ello, se realiza una descomposición del modelo original en varias componentes y, a partir de ellas, se construyen varios sistemas agregados. Con los sistemas agregados, por medio de un algoritmo iterativo de aproximación del tiempo de respuesta, se calcula un valor aproximado del throughput de las transiciones del modelo original. al operar con modelos más pequeños, se pueden estudiar casos más complejos que con las técnicas clásicas a costa de perder precisión en los resultados (cálculo aproximado frente a análisis exacto). primero se estudian clases particulares de redes como los grafos marcados, los grafos marcados con pesos o los sistemas deterministas de procesos secuenciales. Por último, se ataca el caso general de las redes de petri estocásticas. El caso general permite desarrollar una visión estructurada del grafo de alcanzabilidad de cualquier red de petri a partir de una descomposición estructural suya. Esta visión estructurada del grafo de alcanzabilidad puede utilizarse también para otro tipo de estudios, en particular la generación o almacenamiento eficiente de
Datos académicos de la tesis doctoral «Técnicas de aproximación de throughput en redes de petri estocásticas«
- Título de la tesis: Técnicas de aproximación de throughput en redes de petri estocásticas
- Autor: Pérez Jiménez Carlos José
- Universidad: Zaragoza
- Fecha de lectura de la tesis: 14/06/2002
Dirección y tribunal
- Director de la tesis
- Javier Campos Laclaustra
- Tribunal
- Presidente del tribunal: manuel Silva suárez
- valentín Valero ruiz (vocal)
- José María Drake moyano (vocal)
- Manuel Núñez García (vocal)