Tesis doctoral de Daniel Riera Terrén
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.
Datos académicos de la tesis doctoral «Constraint satisfaction problems generation from petri net models«
- Título de la tesis: Constraint satisfaction problems generation from petri net models
- Autor: Daniel Riera Terrén
- Universidad: Autónoma de barcelona
- Fecha de lectura de la tesis: 29/06/2006
Dirección y tribunal
- Director de la tesis
- Piera Eroles Miquel Á ngel
- Tribunal
- Presidente del tribunal: romualdo Moreno ortiz
- mark Wallace (vocal)
- Manuel Silva suárez (vocal)
- yuri Merkuryev (vocal)