Automatizacin de procesos: Taller de propiedades

Taller de anlisis de propiedades de redes de Petri. Automatizacin de procesos 2011-02.

Objetivos
General
Conocer, evaluar y analizar las herramientas de simulacin de las redes de Petri, sus propiedades, temporizaciones y las funcionalidades requeridas.

Especficos
Implementar lo aprendido en la teora sobre la definicin de una red de Petri ordinaria, pura, viva, conforme, limitada, cclica, segura, justa. Analizar vivacidad, limitacin, ciclicidad y justicia mediante el rbol de Alcanzabilidad Identificar diseos libre eleccin y justos.

Metodologa
Resolver los ejercicios por medio de los paquetes: WoPeD y CPNTools. Realizar lo pedido en los objetivos especficos. Justifique claramente sus respuestas. Enviar al correo electrnico la solucin con el rbol de alcanzabilidad y el anlisis de cada red en un documento de word. Fecha lmite: martes, 27 de septiembre de 2011 a las 11:59 p.m. Adjuntar los archivos de simulacin de cada red.

Ejercicios
Primer punto
Determine las propiedades de la red de Petri de la Figura 1 y encuentre una solucin por temporizacin para que sea viva.

Segundo punto
Determine las propiedades de la red de Petri de la Figura 2. En base a un anlisis del rbol de alcanzabilidad, determine si es posible una solucin por receptividad para que la red sea limitada y viva; Exponga sus resultados.

P1
P1 T1 T2

T1

T2

P2

P3

P2

P3 2

T3

T4

T5

T3

T4

P4

P5

P4

P5

T6

T7

T5 2 P6

T8

P6

Figura 1 RdP Primer punto.

Figura 2 RdP Segundo punto.

Tercer punto
Determine propiedades de las redes de Petri de las figuras 3 y 4. Qu pasara si la figura 3? Determine las nuevas propiedades en ese caso. Qu pasara si el arco de figura 4 cambia de direccin? Determine las nuevas propiedades en ese caso. a en en la

Cuarto punto
Para las figura 5 a 7 determine propiedades. En caso de que la red no sea viva o limitada, proponga una solucin por temporizacin para que sea viva y limitada. Proponga una solucin por receptividad para que sea justa en caso de que aplique.
P1

P1
T1

T1 2 P2

T2

T2

P2

P3

T3

2
P4 P5 T4

T3

T4
T5

P3
P6

Figura 3 RdP Tercer punto.

Figura 4 RdP Tercer punto.

P1
P1

T1

T2
T1 T2

P2

2 P3

P2

P3

P4

T4 T3
T3 T4

P4

Figura 5 RdP Cuarto punto.

Figura 6 RdP Cuarto punto.

T1

T2

P3

T3

P1

T4

P2

Figura 7 RdP Cuarto punto.