Introducción a las Redes de Petri.

Curso de Doctorado-Código 75371

Curso 2003/2004

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!

Se suspenden las clases del día 12 de Marzo.
No hay clase el 26 de Marzo, por ausencia del profesor.

[5 Marzo] Introducción (Juan de Lara). [Transparencias].
Redes de Petri Black&White (P/T) (tres días, Juan de Lara).

[2 de Abril] [Transparencias]

Definición y Semántica.
Ejemplos.
Grafo de Alcanzabilidad y Cubrimiento.
Propiedades (i)

[16 Abril] [Transparencias]

Técnicas lineales/algebraicas.

Técnicas Estructurales.
Técnicas de Reducción.
Lenguajes definidos por una Red de Petri.
Semántica causal.

Redes de Petri con Tiempo (un día, Xavier Alamán).
Redes de Petri Coloreadas (tres días, Roberto Moriyón).

Material:

Transparencias de K. Jensen de la Universidad de Aarhus (1) [PPT].
Transparencias de K. Jensen de la Universidad de Aarhus (2) [PPT].

Redes de Petri Estocásticas (tres días, Carlos Aguirre).
Exposición de Trabajos (dos/tres días, Xavier Alamán).

Puedes proponer tu propio trabajo (contacta con alguno de los profesores), o bien elegirlo de esta lista, poniéndote en contacto con el profesor correspondiente.

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 AToM³	Juan de Lara	No

BIBLIOGRAFÍA:

Jensen, K. “Coloured Petri nets basic concepts, analysis methods and practical use”. Monographs in Theoretical Computer Science, Springer-Verlag, 1997. (Redes de Petri Coloreadas).
Murata, T. 1989. “Petri Nets: Properties, Analysis and Applications”. Proceedings of the IEE, Vol. 77(4). Pp.: 541-580. (General)
Peterson, J.L. 1981. “Petri Net Theory and the Modeling of Systems”. Prentice-Hall, INC., Englewood Cliffs, N.J. (General, básico).
Reisig, W., Rozenberg, G., Desel, J., Jensen, K., Silva, M., Balbo, G. “Introductory Tutorial at PetriNets’2000”.

LINKS RELACIONADOS:

Petri Nets world.

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.