Resumen de Algoritmos para la generación y análisis del espacio de estados de las redes de Petri coloreadas temporales
Miguel Antonio Mujica Mota, Miquel Àngel Piera i Eroles
En este artículo se presentan diferentes algoritmos que pueden servir como base para el desarrollo de herramientas para la toma de decisiones basadas en la exploración del llamado espacio de estados para las redes de Petri coloreadas temporales. Diferentes aspectos se presentan en el mismo, desde la evaluación eficiente de las transiciones, el almacenado de la información generada por el espacio de estados, y diversos algoritmos para la exploración eficiente del mismo. Se presentan resultados obtenidos al evaluar diferentes problemas de estudio (benchmarks).
