Localidad estructural, criterio de división para la ejecución de Redes de Petri no autónomas en IP-Core

Abstract

Este trabajo propone un nuevo concepto, localidad estructural, para dividir y representar redes de Petri no autónomas con el fin de reducir de forma significativa los recursos de hardware de los IP-Core que las ejecutan. Con la consecuente ventaja de lograr asi abordar problemas de mayor tamaño. Las redes así expresadas dan origen a un algoritmo de ejecución que preserva el modelo original y facilita el paralelismo. En este trabajo se expone un caso de aplicación donde se manifiestan las ventajas de la localidad estructural aplicada a una red de Petri con diferentes semánticas temporales y tipos de brazos, obteniendo una disminución de recursos en la FPGA que implementa el IP-Core.