Algoritmos para la generación y análisis del espacio de estados de las redes de Petri coloreadas temporales

• Autores: Miguel Antonio Mujica Mota, Miquel Àngel Piera i Eroles
• Localización: Actas de las XXXII Jornadas de Automática, Escuela Técnica Superior de Ingeniería, Univesidad de Sevilla: Sevilla, 7 al 9 de septiembre de 2011, 2011, ISBN 978-84-694-6454-0, pág. 139
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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).