Profesores: Objetivos:
Se estudiará cómo las redes de Petre constituyen una herramienta que permite modelizar procesos concurrentes de gran complejidad, incluyendo tanto dispositivos físicos (hardware) como virtuales (software). Veremos que su proximidad a la teoría de autómatas hace que tengan una semántica formal precisa y relativamente simple, algo atractivo tanto desde el punto de vista teórico como desde el de las aplicaciones. Se hará incapié en que desde el punto de vista académico las redes de Petri se encuentra en un punto central entre disciplinas de Ingeniería Informática tan alejadas como la Arquitectura de Sistemas y los Lenguajes y Sistemas Informáticos, con vínculos importantes con ellas.
Horario :
Viernes de 6 a 8.
Temario y Calendario:

ATENCIÓN, ¡CAMBIOS EN EL CALENDARIO!

Trabajo 
Profesor
Asignado
Modelización de redes de Petri coloreadas mediante CPN tools Roberto Moriyón No
Continuous and Hybrid Petri Nets Juan de Lara No
DAE Petri Nets Juan de Lara No
Object Oriented Petri Nets Juan de Lara No
Hybrid Flow Nets Juan de Lara No
Differential Petri Nets Juan de Lara No
First-Order Hybrid Petri Nets Juan de Lara No
High-Level Hybrid Nets Juan de Lara No
Verificación de Software con Redes de Petri Juan de Lara No
Proyectos con la herramienta de meta-modelado AToM3 Juan de Lara No

BIBLIOGRAFÍA:

LINKS RELACIONADOS: Forma de Evaluación:
Se propondrán artículos que el alumno deberá leer, criticar y finalmente exponer. Como alternativa se propondrán trabajos prácticos. También se valorará la asistencia.