TAZ-TFM-2016-316


Desarrollo de un algoritmo basado en la preasignación de buffers que permita la vivacidad de sistemas de red DSSP inicialmente no vivos

Clavel Villagrasa, Daniel
Silva Suárez, Manuel (dir.) ; Mahulea, Cristian (dir.)

Universidad de Zaragoza, EINA, 2016
Informática e Ingeniería de Sistemas department, Ingeniería de Sistemas y Automática area

Máster Universitario en Ingeniería Industrial

Abstract: Deterministically Synchronized Sequential Process (DSSP) definen una subclase de sistemas descritos con Redes de Petri (RdP). Están compuestos por un conjunto de máquinas de estado (también llamadas agentes) que cooperan a través del paso asíncrono de mensajes. La estructura modular de las redes DSSP permite obtener fuertes resultados analíticos (por ejemplo, el teorema de rango proporciona condiciones necesarias y suficientes para asegurar vivacidad estructural). Este trabajo considera el problema de forzar estructuras vivas a partir de otras de tipo DSSP estructuralmente no vivas. Para algunas estructuras particulares de tipo DSSP en las cuales el teorema de rango demuestra que son estructuralmente no vivas, se provee un algoritmo basado en la preasignación de los buffers que la asegura. El algoritmo ha sido aplicado a DSSP que modelan sistemas reales de producción y salud. Se ha observado que en los sistemas de producción (lógica de consumo/producción de items) el algoritmo además de convertir la red viva, mantiene el significado físico del modelo. Por contra, en los sistemas de salud (lógica de producción/consumo de mensajes) al aplicar el algoritmo la red resultante es viva pero puede perderse el propósito del modelo.

Tipo de Trabajo Académico: Trabajo Fin de Master

Creative Commons License

El registro pertenece a las siguientes colecciones:
Academic Works > Trabajos Académicos por Centro > escuela-de-ingeniería-y-arquitectura
Academic Works > End-of-master works



Back to search

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)