Department of Systems Engineering and Automatics
Sistemas Automáticos. Ejercicios Resueltos Redes de Petri
Fernando Vázquez Núñez Junio 2012
[email protected]
ENERO 2007
ISA - Vigo 2010
Ejemplos de Redes de Petri
2
ENERO 2007
ISA - Vigo 2010
Ejemplos de Redes de Petri
3
Septiembre 2010
ISA - Vigo 2010
Ejemplos de Redes de Petri
4
Septiembre 2010 S1, S2 marcan posición correcta
ISA - Vigo 2010
Ejemplos de Redes de Petri
5
Septiembre 2010 !S1, !S2 marcan posición correcta
ISA - Vigo 2010
Ejemplos de Redes de Petri
6
Septiembre 2010 !S1, !S2 marcan posición correcta Sol. compacta
ISA - Vigo 2010
Ejemplos de Redes de Petri
7
PRACTICA 6
ISA - Vigo 2010
Ejemplos de Redes de Petri
8
PRACTICA 6
ISA - Vigo 2010
Ejemplos de Redes de Petri
9
PRACTICA 6 - Procesos comunicados por variables
ISA - Vigo 2010
Ejemplos de Redes de Petri
10
Diciembre 2011
ISA - Vigo 2010
Ejemplos de Redes de Petri
11
Diciembre 2011
ISA - Vigo 2010
Ejemplos de Redes de Petri
12
FEBRERO 2010
ISA - Vigo 2010
Ejemplos de Redes de Petri
13
FEBRERO 2010
ISA - Vigo 2010
Ejemplos de Redes de Petri
14
FEBRERO 2010 – Procesos comunicados por variables
ISA - Vigo 2010
Ejemplos de Redes de Petri
15
ENERO 2012
ISA - Vigo 2010
Ejemplos de Redes de Petri
16
ENERO 2012
ISA - Vigo 2010
Ejemplos de Redes de Petri
17
ENERO 2012
ISA - Vigo 2010
Ejemplos de Redes de Petri
18
ENERO 2012
ISA - Vigo 2010
Ejemplos de Redes de Petri
19
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)
Z0 p (pulsos)
T0 T0 (tiempo cierre pinza)
ISA - Vigo 2010
Observaciones: ckit%2==1 si bit dcha 1 ckit=ckit/2 desplaza bits a la derecha Ejemplos de Redes de Petri
20
JUNIO 2012
ISA - Vigo 2010
Ejemplos de Redes de Petri
21
ENERO 2013
ISA - Vigo 2010
Ejemplos de Redes de Petri
22
ENERO 2013
ISA - Vigo 2010
Ejemplos de Redes de Petri
23
