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