Post on 29-Nov-2015
Sistemas Automáticos.
Department of Systems Engineering
and Automatics
Fernando Vázquez Núñez Junio 2012
fvazquez@uvigo.es
Ejercicios Resueltos Redes de Petri
ISA - Vigo 2010 Ejemplos de Redes de Petri 2
ENERO 2007
ISA - Vigo 2010 Ejemplos de Redes de Petri 3
ENERO 2007
ISA - Vigo 2010 4
Septiembre 2010
Ejemplos de Redes de Petri
ISA - Vigo 2010 5
Septiembre 2010 S1, S2 marcan posición correcta
Ejemplos de Redes de Petri
ISA - Vigo 2010 6
Septiembre 2010 !S1, !S2 marcan posición correcta
Ejemplos de Redes de Petri
ISA - Vigo 2010 7
Septiembre 2010 !S1, !S2 marcan posición correcta Sol. compacta
Ejemplos de Redes de Petri
ISA - Vigo 2010 8
PRACTICA 6
Ejemplos de Redes de Petri
ISA - Vigo 2010 9
PRACTICA 6
Ejemplos de Redes de Petri
ISA - Vigo 2010 10
PRACTICA 6 - Procesos comunicados por variables
Ejemplos de Redes de Petri
ISA - Vigo 2010 11
Diciembre 2011
Ejemplos de Redes de Petri
ISA - Vigo 2010 12
Diciembre 2011
Ejemplos de Redes de Petri
ISA - Vigo 2010 13
FEBRERO 2010
Ejemplos de Redes de Petri
ISA - Vigo 2010 14
FEBRERO 2010
Ejemplos de Redes de Petri
ISA - Vigo 2010 15
FEBRERO 2010 – Procesos comunicados por variables
Ejemplos de Redes de Petri
ISA - Vigo 2010 16
ENERO 2012
Ejemplos de Redes de Petri
ISA - Vigo 2010 17
ENERO 2012
Ejemplos de Redes de Petri
ISA - Vigo 2010 18
ENERO 2012
Ejemplos de Redes de Petri
ISA - Vigo 2010 19
ENERO 2012
Ejemplos de 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)
ISA - Vigo 2010 Ejemplos de Redes de Petri 21
JUNIO 2012
ISA - Vigo 2010 Ejemplos de Redes de Petri 22
ENERO 2013
ISA - Vigo 2010 Ejemplos de Redes de Petri 23
ENERO 2013