Escuela de Ingeniera Elctrica y Mecnica

Facultad de Minas
Universidad Nacional de Colombia-Sede Medelln
SIMULACIN DE SISTEMAS MEDIANTE REDES DE PETRI

Objetivo General:
Conocer, evaluar y analizar las herramientas de simulacin de las redes de Petri, sus propiedades, temporizaciones y
las funcionalidades requeridas.
Objetivos Especficos:
Implementar lo aprendido en la teora sobre la definicin de una red de Petri ordinaria, binaria, pura, viva,
conforme, limitada.
Analizar vivacidad, limitacin y ciclicidad mediante el rbol de Alcanzabilidad
Simular procesos automatizados
Metodologa
Resolver los ejercicios por medio de los paquetes: Visual Objekt Net ++ y Spades.
Realizar lo pedido en los objetivos especficos.
Realizar los ejercicios propuestos en la clase de propiedades y adjuntarlos a este taller.
Ejercicios
1)
a) Determine qu propiedades tiene la red de la figura 1.
b) Qu propiedades tendra si
y

?
P1

T2

T1

P3

P2

T4

T3

P4

T5

Figura 1

P5

Escuela de Ingeniera Elctrica y Mecnica

Facultad de Minas
Universidad Nacional de Colombia-Sede Medelln
2)
a) Determine las propiedades de la red de la figura 2.
b) Dado que la red es no viva, proponga una solucin por temporizacin para el bloqueo.
T1

P2

T2

P3

T3

P1

P4

T5

P5

T4

Figura 2
3)
a) Determine las propiedades de las redes de las figuras 3 a 6.
b) En la figura 4, si el arco de a tiene peso 2. Qu nuevas propiedades tendra la red?
c) Proponga una solucin por temporizacin para que todas estas redes sean vivas en caso de que no lo sean.
4) Simule la red de la figura 7, determine sus propiedades y presente el rbol de alcanzabilidad.

T2
P1

P2
T1

P3
T3

P4

T4

P6

P5
T5

Figura 3

Escuela de Ingeniera Elctrica y Mecnica

Facultad de Minas
Universidad Nacional de Colombia-Sede Medelln
P1

T2

T1

T3
P3

P2

P4

T4

Figura 4

P1

T2

T1
P4

T3

P2

P3

T4

T5

Figura 5

Escuela de Ingeniera Elctrica y Mecnica

Facultad de Minas
Universidad Nacional de Colombia-Sede Medelln
T2

T1

P4

P1

P2

T4

T3

P3

T6

T5

Figura 6

P2

T4

T2
P1

T1

P3

T3
P5

P4

Figura 7

T5