Ejemplos Redes de Petri

23
Sistemas Automáticos. Department of Systems Engineering and Automatics Fernando Vázquez Núñez Junio 2012 [email protected] Ejercicios Resueltos Redes de Petri

Transcript of Ejemplos Redes de Petri

Page 1: Ejemplos Redes de Petri

Sistemas Automáticos.

Department of Systems Engineering

and Automatics

Fernando Vázquez Núñez Junio 2012

[email protected]

Ejercicios Resueltos Redes de Petri

Page 2: Ejemplos Redes de Petri

ISA - Vigo 2010 Ejemplos de Redes de Petri 2

ENERO 2007

Page 3: Ejemplos Redes de Petri

ISA - Vigo 2010 Ejemplos de Redes de Petri 3

ENERO 2007

Page 4: Ejemplos Redes de Petri

ISA - Vigo 2010 4

Septiembre 2010

Ejemplos de Redes de Petri

Page 5: Ejemplos Redes de Petri

ISA - Vigo 2010 5

Septiembre 2010 S1, S2 marcan posición correcta

Ejemplos de Redes de Petri

Page 6: Ejemplos Redes de Petri

ISA - Vigo 2010 6

Septiembre 2010 !S1, !S2 marcan posición correcta

Ejemplos de Redes de Petri

Page 7: Ejemplos Redes de Petri

ISA - Vigo 2010 7

Septiembre 2010 !S1, !S2 marcan posición correcta Sol. compacta

Ejemplos de Redes de Petri

Page 8: Ejemplos Redes de Petri

ISA - Vigo 2010 8

PRACTICA 6

Ejemplos de Redes de Petri

Page 9: Ejemplos Redes de Petri

ISA - Vigo 2010 9

PRACTICA 6

Ejemplos de Redes de Petri

Page 10: Ejemplos Redes de Petri

ISA - Vigo 2010 10

PRACTICA 6 - Procesos comunicados por variables

Ejemplos de Redes de Petri

Page 11: Ejemplos Redes de Petri

ISA - Vigo 2010 11

Diciembre 2011

Ejemplos de Redes de Petri

Page 12: Ejemplos Redes de Petri

ISA - Vigo 2010 12

Diciembre 2011

Ejemplos de Redes de Petri

Page 13: Ejemplos Redes de Petri

ISA - Vigo 2010 13

FEBRERO 2010

Ejemplos de Redes de Petri

Page 14: Ejemplos Redes de Petri

ISA - Vigo 2010 14

FEBRERO 2010

Ejemplos de Redes de Petri

Page 15: Ejemplos Redes de Petri

ISA - Vigo 2010 15

FEBRERO 2010 – Procesos comunicados por variables

Ejemplos de Redes de Petri

Page 16: Ejemplos Redes de Petri

ISA - Vigo 2010 16

ENERO 2012

Ejemplos de Redes de Petri

Page 17: Ejemplos Redes de Petri

ISA - Vigo 2010 17

ENERO 2012

Ejemplos de Redes de Petri

Page 18: Ejemplos Redes de Petri

ISA - Vigo 2010 18

ENERO 2012

Ejemplos de Redes de Petri

Page 19: Ejemplos Redes de Petri

ISA - Vigo 2010 19

ENERO 2012

Ejemplos de Redes de Petri

Page 20: Ejemplos Redes de Petri

ISA - Vigo 2010 Ejemplos de Redes de Petri 20

JUNIO 2012

Manipulador para la composición de “kits”.

Entradas Salidas Variables Contadores Temporizadores

E0.0 m E0.1 p1 E0.2 p2 E0.3 arriba E0.4 abajo E0.5 origen E0.6 kit

A4.0 i A4.1 d A4.2 s A4.3 b A4.4 cerrar

MW0 ckit MW2 pg (pulsos sig guía) Observaciones: ckit%2==1 si bit dcha 1 ckit=ckit/2 desplaza bits a la derecha

Z0 p (pulsos) T0 T0 (tiempo cierre pinza)

Page 21: Ejemplos Redes de Petri

ISA - Vigo 2010 Ejemplos de Redes de Petri 21

JUNIO 2012

Page 22: Ejemplos Redes de Petri

ISA - Vigo 2010 Ejemplos de Redes de Petri 22

ENERO 2013

Page 23: Ejemplos Redes de Petri

ISA - Vigo 2010 Ejemplos de Redes de Petri 23

ENERO 2013