Resumen de Constraint satisfaction problems generation from petri net models
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.
