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).
© 2001-2024 Fundación Dialnet · Todos los derechos reservados