Animación de un Sistema de Puertas (código en GLIDER) NETWORK L (I)::IT:=1; Tipo:=((NUMBER-1) mod 4) + 1; SENDTO(P[Tipo]); P (G) [1..4]::STATE BEGIN IT:=5;

Presentación del tema: "Animación de un Sistema de Puertas (código en GLIDER) NETWORK L (I)::IT:=1; Tipo:=((NUMBER-1) mod 4) + 1; SENDTO(P[Tipo]); P (G) [1..4]::STATE BEGIN IT:=5;"— Transcripción de la presentación:

1 Animación de un Sistema de Puertas (código en GLIDER) NETWORK L (I)::IT:=1; Tipo:=((NUMBER-1) mod 4) + 1; SENDTO(P[Tipo]); P (G) [1..4]::STATE BEGIN IT:=5; ABIERTA:=NOT ABIERTA END; IF ABIERTA THEN SENDTO(S) ELSE STOPSCAN; S (E):: WRITELN(NUMBER:2,' ',Tipo:1,' ',' ',GT:2:0,' ',TIME:2:0); INIT ACT(L,0); TSIM:=21; ABIERTA:=FALSE; FOR I:=1 TO 4 DO ACT(P[I],5); DECL VAR ABIERTA:BOOLEAN; I: INTEGER; MESSAGES L(Tipo:INTEGER); END.

2 Tiempo: 0 L0 Lista de Eventos Pendientes Simulación lista para arrancar L P1 S P4 P3 P2 P15P25P35P45 Abierta: False ABIERTA:=FALSE; ACT(L,0); FOR I:=1 TO 4 DO ACT(P[I],5);

3 Tiempo: 0 L0 Lista de Eventos Pendientes Se procesa el primer evento y se activa L L P1 S P4 P3 P2 P15P25P35P45 Abierta: False

4 Tiempo: 0 Lista de Eventos Pendientes Se genera la próxima llegada y el cliente [1] L P1 S P4 P3 P2 P15P25P35P45 Abierta: False L1 1

5 Tiempo: 1 Lista de Eventos Pendientes Se procesa el segundo evento y se activa L L P1 S P4 P3 P2 P15P25P35P45 Abierta: False 1 L1

6 Tiempo: 1 Lista de Eventos Pendientes Se genera la próxima llegada y el cliente [2] L P1 S P4 P3 P2 P15P25P35P45 1 Abierta: False L2 2

7 Tiempo: 2 Lista de Eventos Pendientes Se procesa el próximo evento y se activa L L P1 S P4 P3 P2 P15P25P35P45 Abierta: False 1 2 L2

8 Tiempo: 2 Lista de Eventos Pendientes Se genera la próxima llegada y el cliente [3] L P1 S P4 P3 P2 P15P25P35P45 1 Abierta: False L3 2 3

9 Tiempo: 3 Lista de Eventos Pendientes Se procesa el próximo evento y se activa L L P1 S P4 P3 P2 P15P25P35P45 Abierta: False 1 2 3 L3

10 Tiempo: 3 Lista de Eventos Pendientes Se genera la próxima llegada y el cliente [4] L P1 S P4 P3 P2 P15P25P35P45 1 Abierta: False L4 2 3 4

11 Tiempo: 4 Lista de Eventos Pendientes Se procesa el próximo evento y se activa L L P1 S P4 P3 P2 P15P25P35P45 Abierta: False 1 2 3 4 L4

12 Tiempo: 4 Lista de Eventos Pendientes Se genera la próxima llegada y el cliente [5] L P1 S P4 P3 P2 P15P25P35P45 1 Abierta: False L5 2 3 4 5

13 Tiempo: 4 Lista de Eventos Pendientes Se procesa el próximo evento (P1) L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P15P25P35P45L5 5

14 Tiempo: 5 Lista de Eventos Pendientes Se activa P1 (por evento), se genera próximo evento y se cambia el valor de Abierta L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P25P35P45L5 5 P110 Abierta: True ABIERTA:=NOT ABIERTA END; STATE BEGIN IT:=5;

15 Tiempo: 5 Lista de Eventos Pendientes P1 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P25P35P45L5 5 P110 Abierta: True

16 Tiempo: 5 Lista de Eventos Pendientes P1 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P25P35P45L5 5 P110 Abierta: True

17 Tiempo: 5 Lista de Eventos Pendientes P1 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P25P35P45L5 5 P110 Abierta: True

18 Tiempo: 5 Lista de Eventos Pendientes P1 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P25P35P45L5 5 P110 Abierta: True

19 Tiempo: 5 Lista de Eventos Pendientes Se activa P2 (por revisión) L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P25P35P45L5 5 P110 Abierta: True

20 Tiempo: 5 Lista de Eventos Pendientes P2 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 1 2 3 4 P25P35P45L5 5 P110 Abierta: True

21 Tiempo: 5 Lista de Eventos Pendientes P2 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 12 3 4 P25P35P45L5 5 P110 Abierta: True

22 Tiempo: 5 Lista de Eventos Pendientes Se activa P3 (por revisión) L P1 S P4 P3 P2 Abierta: False 12 3 4 P25P35P45L5 5 P110 Abierta: True

23 Tiempo: 5 Lista de Eventos Pendientes P3 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 12 3 4 P25P35P45L5 5 P110 Abierta: True

24 Tiempo: 5 Lista de Eventos Pendientes P3 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 123 4 P25P35P45L5 5 P110 Abierta: True

25 Tiempo: 5 Lista de Eventos Pendientes Se activa P4 (por revisión) L P1 S P4 P3 P2 Abierta: False 123 4 P25P35P45L5 5 P110 Abierta: True

26 Tiempo: 5 Lista de Eventos Pendientes P4 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 123 4 P25P35P45L5 5 P110 Abierta: True

27 Tiempo: 5 Lista de Eventos Pendientes P4 deja pasar los clientes L P1 S P4 P3 P2 Abierta: False 1234 P25P35P45L5 5 P110 Abierta: True

28 Tiempo: 5 Lista de Eventos Pendientes Se activa S (por revisión) L P1 S P4 P3 P2 Abierta: False 1234 P25P35P45L5 5 P110 Abierta: True

29 Tiempo: 5 Lista de Eventos Pendientes S elimina los clientes L P1 S P4 P3 P2 Abierta: False 1234 P25P35P45L5 5 P110 Abierta: True 1 1 0 5 N T G T 5 1 4 5 2 2 1 5 3 3 2 5 4 4 3 5

30 Abierta: True Tiempo: 5 Lista de Eventos Pendientes Se procesa el próximo evento. Se activa P2 por evento. L P1 S P4 P3 P2 Abierta: False P25P35P45L5P110

31 Tiempo: 5 Lista de Eventos Pendientes Abierta cambio y se genera el próximo evento L P1 S P4 P3 P2 Abierta: False P210P35P45L5P110 Abierta: False

32 Abierta: True Tiempo: 5 Lista de Eventos Pendientes Se procesa el próximo evento. Se activa P3 por evento. L P1 S P4 P3 P2 10P35P45L5P110

33 Tiempo: 5 Lista de Eventos Pendientes Abierta cambio y se genera el próximo evento L P1 S P4 P3 P2 Abierta: False P210P310P45L5P110 Abierta: True

34 Tiempo: 5 Lista de Eventos Pendientes Se procesa el próximo evento. Se activa P4 por evento. L P1 S P4 P3 P2 Abierta: True P210P310P45L5P110 Abierta: False

35 Tiempo: 5 Lista de Eventos Pendientes Abierta cambio y se genera el próximo evento L P1 S P4 P3 P2 Abierta: False P210P310P410L5P110 Abierta: False

36 Tiempo: 5 L5 Lista de Eventos Pendientes Se procesa el próximo evento L P1 S P4 P3 P2 P110P210P310P410 Abierta: False

37 Tiempo: 5 Lista de Eventos Pendientes Se activa L L P1 S P4 P3 P2 P110P210P310P410 Abierta: False

38 Tiempo: 5 Lista de Eventos Pendientes Se genera la próxima llegada y el cliente [6] L P1 S P4 P3 P2 P110P210P310P410 6 Abierta: False L6

39 Tiempo: 5 L6 Lista de Eventos Pendientes Se procesa el próximo evento y se activa L L P1 S P4 P3 P2 P110P210P310P410 Abierta: False 6

40 Tiempo: 6 Lista de Eventos Pendientes Se genera la próxima llegada y el cliente [7] L P1 S P4 P3 P2 P110P210P310P410 6 Abierta: False L7 7

41 Observaciones La 4 puertas están controladas por la misma variable ABIERTA. Al activarse por evento P1 en el tiempo 5, ABIERTA toma el valor TRUE y se dejan pasar todos los clientes retenidos en P1. Luego por revisión, pasan también los retenidos en P2, P3 y P4.

42 Observaciones Las activaciones por evento posteriores de P2, P3 y P4 no causan movimientos de mensajes (no quedaron clientes) y lo único que hacen es alternar el valor de ABIERTA a FALSE, TRUE y finalmente FALSE. El efecto es que se abrieron las puertas, se dejaron pasar los clientes y se cerraron (se abrieron y cerraron instantáneamente)