Constraint satisfaction problems generation from petri net models

• Autores: Daniel Riera i Terrén
• Directores de la Tesis: Miquel Àngel Piera i Eroles (dir. tes.), Antonio Guasch Petit (codir. tes.)
• Lectura: En la Universitat Autònoma de Barcelona ( España ) en 2006
• Idioma: español
• Tribunal Calificador de la Tesis: Romualdo Moreno Ortiz (presid.), Rafael Pastor Moreno (secret.), Manuel Silva Suárez (voc.), Yuri Merkuryev (voc.), Mark Wallace (voc.)
• Materias:
  • Ciencias tecnológicas
• Texto completo no disponible (Saber más ...)
• Resumen

  • La tesis une la capacidad de modelado de la familia de formalismos de las Redes de Petri con la potencia de optimización proporcionada por la Programación con Restricciones. De este modo, presenta las bases de una nueva metodología que permite automatizar la optimización de sistemas orientados a eventos discretos a partir de su modelo en Red de Petri y la indicación de los estados inicial y final.