You are on page 1of 6

MODELADO DEL COMPORTAMIENTO DE UNA TORRE DE DESTILACIN COMO SEDs

Julima Anato Garca, Marelys Flores Garca, Merlys Gonzlez Caraballo janato@cantv.net , marofg@hotmail.com , merlysgc@hotmail.com Grupo de Arquitectura de Sistemas de Control (GASC). Universidad de Oriente. Anzotegui,Venezuela. 6001.
Resumen: En este trabajo se modela el comportamiento normal de una torre de destilacin por cargas, sistema tpicamente tratado como continuo (ecuaciones diferenciales), a travs de una herramienta empleada para el modelado de Sistemas de Eventos Discretos (Redes de Petri); realizando preliminarmente un modelo conceptual del sistema que facilita su descripcin en funcin de estados, posteriormente se construye el modelo de la torre con Redes de Petri (por ser una tcnica que permite describir las relaciones causales entre los eventos de un sistema), considerando los elementos, relaciones y condiciones del modelo conceptual para luego validarlo a travs de la simulacin. Copyright 2004 GASC.

Palabras Claves: Sistema, Modelado Conceptual, Sistemas de Eventos Discretos, Redes de Petri,
Simulacin.

1. INTRODUCCIN Los Sistemas de Eventos Discretos (SEDs) son aquellos sistemas cuya evolucin en el tiempo puede describirse con mayor facilidad a travs de estados que cambian en instantes discretos de tiempo. Para el modelado de los Sistemas de Eventos Discretos existen diferentes tcnicas (Cadenas de Markov, Redes de Petri, Modelo de Colas, Mquinas de Estado Finito, Grafcet, lgebra Max-Min, entre otras) las cuales facilitan el estudio de los mismos en aquellos casos en donde un anlisis del sistema real sera analtica y numricamente difcil de llevar a cabo; reduciendo el tiempo de estudio, costos y riesgo de investigacin, y proporcionando herramientas de inferencia tiles para conocer y mejorar su comportamiento. El diseo de un modelo conceptual proporciona una forma de incrementar el conocimiento del sistema, al ser una representacin simplificada de ste, en donde se incorporan aquellas caractersticas relevantes para la construccin del modelo usando alguna de las herramientas de Sistemas de Eventos Discretos mencionadas anteriormente. El objetivo de este trabajo es modelar el comportamiento de una torre de destilacin por cargas a travs de una herramienta de Sistemas de Eventos Discretos (Redes de Petri), mediante la construccin preliminar de un modelo conceptual basado en algunos criterios de la Metodologa de Sistemas Blandos de Peter Checkland aplicables a los sistemas duros. 2. FUNDAMENTOS TERICOS Un Sistema es un conjunto de cosas o partes interactuantes e interdependientes formando un todo unitario y complejo que se relaciona con su entorno

para lograr un cierto objetivo adaptndose a este a travs de la autorregulacin. Se pueden distinguir dos interpretaciones de la palabra sistema, sistemas duros el cual es aquel sistema que al ser estudiado, observado y analizado posee propiedades que no se prestan a interpretaciones de diferente significado segn el tipo de preparacin y conocimiento que tenga la persona que lleva a cabo el estudio, observacin o anlisis, adems, posee variables fciles de identificar; y sistemas blandos el cual posee un bajo grado de cuantificacin y su componente fundamental es el hombre con sus interrelaciones, considerndose sistemas sumamente complejos. La representacin inteligible (abstracta y consistente) de un sistema, basada en hiptesis y aproximaciones, con el cual se pretende incrementar el conocimiento o modificar, predecir o controlar el comportamiento de dicho sistema se conoce como Modelo, y el proceso en el cual se organiza el conocimiento del dominio del problema con base en un conjunto de abstracciones ordenadas y/o jerarquizadas de forma que se obtenga un conocimiento ms profundo de dicho dominio como Modelado Conceptual (Snchez 2000). Para el estudio de los sistemas se han desarrollado numerosas metodologas, una de ellas es la Metodologa de Sistemas Blandos de Peter Checkland (MSB), la cual sirve de gua para llevar a cabo acciones en los sistemas blandos y para obtener o estructurar conocimiento en sistemas blandos y duros. Fue concebida como una metodologa para la solucin de problemas del mundo real a travs de siete estadios con una secuencia lgica no restrictiva: estadios 1 y 2 fase de expresin del problema que presenta una imagen detallada sin imponer estructuras particulares, estadio 3 definiciones raz de los sistemas pertinentes a la situacin bajo estudio,

estadio 4 modelos conceptuales de los sistemas de las definiciones raz, estadio 5 comparacin entre los modelos del estadio 4 y el sistema expresado en el estadio 1 y 2, estadio 6 cambios deseables y viables que se proponen, estadio 7 aplicacin de las acciones para mejorar el sistema (Checkland, 1993). En la MSB la construccin de una definicin raz de un sistema tiene una conexin lgica con la verificacin del modelo conceptual del sistema a travs del modelo de sistema formal descrito por Checkland, del reconocimiento de esta conexin surge el anlisis C.A.T.W.O.E el cual es un mnemnico de las seis caractersticas ms importantes que se deben incluir en una definicin raz adecuada, C representa los consumidores o beneficiarios del sistema, A los actores o encargados de llevar a cabo el proceso de transformacin en el sistema, T es el proceso de transformacin que permite convertir las entradas al sistema en salidas, W es la Weltanschauung o punto de vista bajo el cual se elabora la definicin, O representa a la persona o personas (Owner, dueo) que poseen la autoridad para decidir sobre el funcionamiento del sistema, y E son las imposiciones o restricciones del medio (Environment, ambiente). Entre los tipos de sistema existe un grupo en particular en donde se incluyen aquellos cuya descripcin se realiza con mayor facilidad a travs de estados que cambian en instantes discretos de tiempo, estos son los Sistemas de Eventos Discretos (Ho 1989). Entre las tcnicas empleadas para el modelado de SEDs se encuentran las Redes de Petri (RdP) la cual es un grafo dirigido bipartito compuesto por dos elementos principales: lugares (utilizados para representar estados, p) y transiciones (utilizados para representar eventos, t), estos dos elementos se conectan a travs de arcos (a), los cuales van de lugar a transicin o de transicin a lugar. En las RdP el estado por el cual atraviesa un sistema viene dado por un conjunto de marcas en los lugares (marcado, M) y la evolucin del mismo es indicada por los cambios del marcado. 3. TCNICAS EXPERIMENTALES El modelado conceptual se utiliza para obtener un mayor conocimiento del sistema, las relaciones entre sus componentes y su entorno. Adems, aporta las bases para efectuar la recoleccin de los datos necesarios para el modelado del sistema con una herramienta de SEDs. De la Metodologa propuesta por Checkland se toman en consideracin los estadios 1,2, 3 y 4. El equivalente de los estadios 1 y 2 en este proyecto se expone en trminos de estructura fsica y proceso del sistema. La analoga con el estadio 3 permite seleccionar sistemas pertinentes al sistema bajo estudio de acuerdo a los puntos de vista de los involucrados en el proyecto, a travs de definiciones raz y anlisis C.A.T.W.O.E., cuyos verbos principales y proceso de transformacin, respectivamente, se estructuran de forma similar que en el estadio 4 de la MSB para la obtencin de un modelo conceptual del sistema,

identificando los datos relevantes para el modelado con alguna de las herramientas de SEDs. 3.1 Modelado Conceptual del Comportamiento de una Torre de Destilacin por Cargas. Estadio 1 y 2 - Estructura Fsica (ver Figura 1): a) Torre de Platos con Campanas de Burbujeo, es una columna de rectificacin construida de cobre, posee ocho platos. Cada plato contiene seis campanas de burbujeo (ranuras y vertederos). Cada plato en la torre est provisto de termocuplas constituidas por un alambre de cromel y otro de alumel (termocupla tipo k), las mismas permiten con ayuda de un termmetro digital conocer las temperaturas presentes en platos, condensador y caldern durante el proceso. b) El caldern, es un cilindro de 70,5 litros de capacidad, aislado trmicamente con asbesto. posee un indicador visual de nivel (LG01) en un costado. c) Condensador de Vapor, tiene un tamao de 59,69 cm de longitud y 10,16 cm de dimetro, est refrigerado por agua cuya entrada est regulada por una vlvula manual (HV09) y la salida va directamente a un desage del laboratorio. Posee termocuplas tipo k instaladas a la entrada y salida de agua de la misma manera que en la columna de rectificacin. d) Rotmetro FI01, se emplea para medir el caudal de reflujo que regresa a la torre y se encuentra encapsulado y fijado a la estructura de la planta. e) Tanque 1, est elaborado de material plstico, tiene una capacidad de 50 litros. f) Tanque 2, es un cilindro de cristal utilizado para recoger el destilado proveniente del condensador y posee en la parte superior un tubo que mantiene el tanque a la presin atmosfrica. g) Tanque 3: est elaborado del mismo material que el tanque 2, se emplea para recolectar el producto destilado. h) Bomba ME01, se emplea para darle recirculacin al lquido destilado a travs de la tubera de reflujo, posee un motor Jaula de Ardilla monofsico de 120 Vac / 60 Hz y su corriente nominal es de 2 Amperios. Est sujeta a una columna de concreto para evitar problemas de vibracin. i) Vlvulas AV01 a AV10, vlvulas solenoides empleadas en la toma de muestras. j) Vlvulas HV01 a HV10, vlvulas manuales para conducir el flujo de la mezcla por las diferentes tuberas de la torre.
HV 09 1/2 WS

Salida de Agua

Vapor 2

Condensado

Recirculacin

LT 01

S AV 08 S S AV 06 S

AV 09 FI 01

Tanque 2
HV 06 HV 10 3/8

AV 07

S AV 04 S S AV 02

AV 05

HV 07 3/8 S AV 10 HV 03

ME 01 HV 08

3/8

Producto
3/8 Tubing LT 04

AV 03

Tanque 3 Tanque 1

HV 04 LSH 01 LSL 01 AV S 01 HV 02 HV 01

HV 05 LG 01

Caldern
Capacidad: 50 Litros Capacidad: 70,5 Litros

Fig. 1: Diagrama P&I de la Torre de Destilacin por Cargas.

Proceso: a) Antes del Equilibrio, el funcionamiento de la torre de destilacin por cargas se inicia con la apertura de la vlvula HV01, que da paso a la mezcla desde el tanque 1 hasta el caldern, y la vlvula HV09, que permite el paso de agua enfriante al condensador. Comprobado a travs del indicador de cristal de nivel LG01 que el caldern tiene el nivel deseado (50 litros), se abre la vlvula HV03 (ubicada entre la torre y el caldern) que da paso a la mezcla hacia la torre de destilacin, una vez abierta esta vlvula se debe iniciar el proceso de calentamiento del caldern, para lo cual se enciende el panel principal y se activan en ste los interruptores S1 a S7 correspondientes a siete resistencias del caldern y se debe verificar que se encuentren cerradas las vlvulas de recirculacin (vlvula de reflujo HV06, vlvula de reflujo parcial HV08 y vlvula reguladora de flujo HV07). Se empiezan a medir las temperaturas en cada uno de los platos de la torre, en el caldern y en el condensador, con una frecuencia aproximada de tres (3) a cinco (5) minutos (tiempo de muestreo). Para esto se hace uso de un termmetro digital. Luego de transcurrido un tiempo aproximado de media hora (30 minutos) desde el encendido de las resistencias, cae la primera gota de condensado en el tanque 2 y se deben apagar cuatro de las resistencias del caldern para evitar que el calentamiento progresivo de la mezcla provoque la inundacin de la torre. Una vez alcanzado cierto nivel de condensado (1 litro) en el tanque 2, se debe encender la bomba ME01(lo que provoca que baje el nivel en el tanque 2) y se abre la vlvula reguladora de flujo HV07 y la vlvula de reflujo HV06 con el fin de darle recirculacin a la mezcla en la torre. b) Equilibrio, a medida que pasa el tiempo existe en la torre un flujo de vapor y de lquido en contracorriente. Cuando el flujo de vapor y el flujo de lquido son iguales, se ha llegado al punto de equilibrio de la transferencia de materia y de calor. En este punto las temperaturas en los platos de la torre son idealmente iguales, existiendo un margen de error para esta planta de 0,03 C, el cual se considera despreciable. c) Despus del Equilibrio, se toman muestras de lquido (muestras a reflujo total), en el tanque 2 a travs de la vlvula HV10 y en el caldern mediante la vlvula solenoide AV01, para realizar un anlisis cromatogrfico que permita observar los resultados de la destilacin. Luego se abre un poco la vlvula de reflujo parcial HV08 y se mide el tiempo desde que cae la primera gota hasta que se completa un litro de destilado en el tanque 3 (para el clculo del caudal de destilado, volumen/tiempo). Se vuelven a tomar muestras de lquido, esta vez en el tanque 3 a travs de la vlvula HV05 y en el caldern (muestras a reflujo parcial), para evaluar los resultados y compararlos con los de reflujo total. Para finalizar se apagan las resistencias del caldern y el panel principal, se apaga la bomba ME01 y se cierra la vlvula de reflujo HV06, la vlvula reguladora de flujo HV07, y la vlvula de reflujo parcial HV08. Se mide la temperatura de entrada, la temperatura de salida del agua enfriante y el caudal de agua enfriante. Se cierra la vlvula de agua enfriante HV09 y las vlvulas HV03 y HV01. Este proceso tiene una duracin aproximada de

cuatro horas, durante las cuales la toma de temperaturas demora 100 minutos, tiempo aproximado en que se alcanza el equilibrio de masa y energa. Con los datos recogidos se hace un anlisis de transferencia de materia y de calor para calcular el nmero de platos tericos a reflujo total y a reflujo parcial y se calcula cul es la eficiencia de la torre. Estadio 3 - Definicin Raz: La torre de destilacin por cargas del Laboratorio de Operaciones Unitarias del Departamento de Ingeniera Qumica, Universidad de Oriente, es un equipo de separacin, utilizado para separar y enriquecer los compuestos que conforman una mezcla lquida binaria, con la obtencin de una separacin ms pura, a travs de una rectificacin total y de una rectificacin parcial llevada a cabo por sus componentes. Su funcionamiento esta sujeto a su estado fsico y a las condiciones de la Universidad (servicio elctrico, servicio de agua, etc.). Anlisis C.A.T.W.O.E: Consumidores (C), mezcla a destilar; Actores (A), componentes de la torre de destilacin por cargas; Proceso de transformacin (T), ver Figura 2; Weltanschauung (W), la torre de destilacin por cargas como un equipo de separacin; Poseedor (O), Departamento de Ingeniera Qumica; Restricciones del medio (E), el estado fsico de la torre. Estadio 4 Modelo Conceptual: Para la construccin del modelo conceptual preliminar se identifican a travs de los verbos que componen la definicin raz las siguientes actividades mnimas: a) Separar la mezcla lquida binaria en sus componentes; b) Enriquecer las concentraciones de los componentes de la mezcla lquida binaria. La estructura del modelo conceptual preliminar se representa en la Figura 3. Para un mejor entendimiento de qu hace el sistema, las actividades mnimas del modelo conceptual preliminar se pueden desglosar en subactividades (las cuales se encuentran conectadas por los flujos mnimos necesarios para indicar como la torre lleva a cabo el proceso de transformacin): a) Separar: Calentar la mezcla en el caldern para que ascienda a la torre de rectificacin, Condensar el vapor generado, Recoger condensado en el tanque 2; y b) Enriquecer: Recircular el condensado del tanque 2, Poner en contacto vapor y lquido dentro de la torre de rectificacin, Recoger condensado en el tanque 3.
Caudal de Agua Enfriante Temperatura de Entrada de Agua Enfriante Temperatura de Salida de Agua Enfriante

Temperaturas en los Platos, en el Caldern y en el Condensador

Volumen de la Mezcla ndice de Refraccin de la Mezcla

Flujo Volumtrico de Destilado a Reflujo Parcial Tiempo en que se completa un litro de destilado a Reflujo Parcial

ndice de Refraccin de Muestra de Tanque 2 a Reflujo Total ndice de Refraccin de Muestra del Caldern a Reflujo Total

ndice de Refraccin de Muestra de Tanque 3 a Reflujo Parcial ndice de Refraccin de Muestra del Caldern a Reflujo Parcial

Fig. 2: Proceso de Transformacin de la Torre de Destilacin por Cargas.

Caudal de Agua Enfriante Temperaturas en los Platos, en el Caldern y en el Condensador Temperatura de Entrada de Agua Enfriante Temperatura de Salida de Agua Enfriante
Temperaturas en los Platos, en el Caldern y en el Condensador

Caudal de Agua Enfriante Temperatura de Entrada de Agua Enfriante Temperatura de Salida de Agua Enfriante

Volumen de la Mezcla ndice de Refraccin de la Mezcla

Separar
Calentar la mezcla en el caldern para que ascienda a la torre de rectificacin. Condensar el vapor generado. Recoger condensado en el tanque 2.

Enriquecer
Recircular el condensado del tanque 2. Poner en coctacto vapor y lquido detro de la torre de rectificacin. Recoger condensado en el tanque 3.

Volumen de la Mezcla ndice de Refraccin de la Mezcla

Separar: la mezcla lquida binaria en sus componentes

Enriquecer: las concentraciones de los componentes de la mezcla lquida binaria

ndice de Refraccin de Muestra de Tanque 2 a Reflujo Total ndice de Refraccin de Muestra del Caldern a Reflujo Total

ndice de Refraccin de Muestra de Tanque 3 a Reflujo Parcial ndice de Refraccin de Muestra del Caldern a Reflujo Parcial

Flujo Volumtrico de Destilado a Reflujo Parcial Tiempo en que se completa un litro de destilado a Reflujo Parcial

ndice de Refraccin de Muestra de Tanque 2 a Reflujo Total ndice de Refraccin de Muestra del Caldern a Reflujo Total

ndice de Refraccin de Muestra de Tanque 3 a Reflujo Parcial ndice de Refraccin de Muestra del Caldern a Reflujo Parcial

Flujo Volumtrico de Destilado a Reflujo Parcial Tiempo en que se completa un litro de destilado a Reflujo Parcial

Fig. 3: Modelo Conceptual Preliminar. Ests actividades y los flujos de conexin que conforman el modelo conceptual se encuentran representadas en la Figura 4. 3.2 Modelo con Redes de Petri. Las entradas y salidas del Modelo Conceptual de la torre representan las variables a ser medidas para el desarrollo del modelo con la herramienta de sistemas de eventos discretos elegida, en este caso RdP. La construccin del modelo con Redes de Petri de la torre de destilacin por cargas parte de las subactividades obtenidas en el modelo conceptual y la informacin de las variables de entrada y de salida, en donde esta informacin es la que permite obtener el conjunto de eventos que forman parte de la red (Flores y Gonzlez, 2003). El modelo con Redes de Petri que se desarrolla es de tipo cualitativo, an cuando la validacin del modelo se realiza a travs del anlisis estadstico de las variables de entrada y de salida del modelo conceptual, para garantizar que la evolucin dinmica del mismo se encuentre dentro de los rangos esperados. Temperatura en los Platos, en el Condensador y en el Caldern: 75 ,04 plato 1 (1) plato 2 plato 3 plato 4 plato 5 plato 6 plato 7 plato 8

Fig. 4: Modelo Conceptual (Sistema de Actividades Mnimas). ndice de Refraccin de Muestra de Caldern a Reflujo Total: 1 (12)

* *1 ,084 E 33 a ndice de Refraccin de 2 Muestra de Tanque Reflujo Parcial: 1 (13)


ndice de Reflujo Parcial:

f x ( x) =

*e

( x 1,340 ) 2 2*1,175 E 06

*e * ) * 2, 871 E 3 a Refraccin (de 2 Muestra de Caldern

f x ( x) =

( x 1, 367 ) 2
2*8 , 242 E 06

1 (14) f x ( x) = * e 2*1,100 E 06 2* *1,049 E 3 Flujo Volumtrico de Destilado a Reflujo Parcial:

( x 1, 339 ) 2

1 (15) f x ( x) = * e 2*3,577 E 01 Caudal de Agua Enfriante: 2 * * 5,981E 1 (16) ( x 4 , 290 E +02 ) 2 1 f x ( x) = * e 2*1, 433 E +03 Temperatura de Entrada de Enfriante: 2Agua * * 3,786 E + 1 ( x 2 ,825 E +01) 2 (17) 1 f x ( x) = * e 2*6, 750 E 01 Temperatura de Salida de Agua 2* *Enfriante: 8,216 E 1 ( x 3, 698 E +01) 2 (18) 1 f x ( x) = * e 2*6,817 E 01 Tiempo en que se Completa un Litro de Destilado a 2 * * 8,256 E 1

( x 6 ,183 ) 2

Reflujo Parcial:

S (t ) =

(19) 1 f x ( x) = * e 2*1,599 E +02 2 * el *1 ,265 E + 1 de El modelo conceptual expresa comportamiento la torre de destilacin por cargas con interacciones dinmicas entre subactividades en donde la variable tiempo est implcitamente contemplada. El anlisis estadstico que se realiza a las variables expuestas por el modelo permite extraer la variable tiempo para algunos de los eventos del sistema, permitiendo la eleccin de una Red de Petri Temporizada para la construccin del modelo del sistema.

( x 2 , 055 E +02 ) 2

S (t ) =

1 +1,782 * e (2) 76 ,09

0 ,1562*t

S (t ) =

(3) 1 +1,916 * e 0 ,1689*t 76 ,39 (4) 1 +1,918 * e 0 ,1799*t 76 ,84

S (t ) = S (t ) =

S (t ) = S (t ) =

1 +1,878 * e 0 ,1797*t (5) 77 ,23


(6) 1 +1,818 * e 0,1651*t 77 ,18 (7) 1 +1,758 * e 0 ,1911*t 77 , 30

Los elementos (lugares y transiciones) que componen la red, se clasifican basndose en las 0 ,1871*t condensador 1 +1,466 *74 e (9) actividades y subactividades obtenidas en el modelo ,45 S (t ) = 0 ,1475*t conceptual de la torre. Cada una de estas actividades 1 +1,632 *e caldern (10) *t subactividades se encuentran relacionadas entre s S ( t ) = 92,62 1 0,02234 * e 0, 08696y por estructuras de secuenciacin de tareas y ndice de Refraccin de Muestra de Tanque 2 a concurrencia desde el momento en que se verifican Reflujo Total: las condiciones iniciales hasta que el proceso ( x concluye 1, 345 ) 2 (11) (ver Figura 5) . 1

S (t ) =

1 +1,683 * e 0 ,1924*t (8) 77 ,63

f x ( x) =

2 * * 6,055 E 4

*e

2*3, 667 E 07

t3

p2

p1

p5

p4

p8

p7

p11

p10

p14

p13

p17

p16

p20

p19

t1

t2

t4

t5

t6

t7

t8

p3

p6

p9

p12

p15

p18

p21

p22 p29 t 10

p23

p28 p141 0 p30 p41 p52 p63 p74 p 85 p 96 p1 07 p118 p129 t 112 30 2, 22 t 11 2, 34 t 21 2, 16 t 31 1, 99 p64 t 41 1, 91 t 51 1, 48 t6 1 1,23 t71 0,4 9 t81 1, 73 t 91 1, 23 t 101 p149 p142 p27

t9

p24

p25

p26

p31

p42

p53

p75

p86

p 97

p1 08

p119

p130 p143 t 116 t 113 p145

1, 78

t 12

1, 63 p43

t 22

1, 52

t 32

1, 52

t 42

1, 64 1

t 52

1,4 2

t6 2

1,41

t72

1,44

t82

1, 68

t 92

1, 38

t 102

p151

p150

p144
2

p32

p54

p65

p76

p 87

p 98

p1 09

p120

p131 t 114

p146 1000

1, 79

t 13

1, 63

t 23

1, 52

t 33

1, 52

t 43

1, 64

t 53

1 ,42

t 63

1,41

t73

1,44

t 83

p147 1, 69 t 93 1, 57 p132 t 119 t 103 1000


2

1000

p33

p44

p55

p66

p77

p 88

p 99

p1 10

p121

1000 t 115

1, 88

t 14

1, 70 p45

t 24

1, 59 p56

t 34

1, 57

t 44

1, 70

t 54

1,4 7

t6 4

1 ,46

t74

1,49

t84

p158 1, 74 t 94 1, 81 t 104

p148

p34

p67

p78

p 89

p100

p111

p122

p133 t 120

2, 06

t 15

1, 85

t 25

1, 72

t 35

1, 70

t 45

1, 84

t 55

1, 59

t 65

1,57

t75

1,60

t85

p161 1, 87 t 95 2, 15 t 105

p160

p159

p156 p35 p46 p57 p68 p79 p 90 p101 p1 12 p123 p134 p163 t 121 p155 2, 41 t 16 2, 13 t 26 1, 98 t 36 1, 95 t 46 2, 09 p36 p47 p58 p69 p80 p 91 p1 02 p1 13 p124 p135 p165 t 56 1,8 1 t6 6 1 ,79 t76 1,82 t86 p164 2, 08 t 96 2, 65 t 106 p162 p157 p154 t 118

p152

t 117

p153

3, 09

t 17

2, 68

t 27

2, 47

t 37

2, 41

t 47

2, 57

t 57

2, 23

t6 7

2 ,20

t77

2,22

t87

2, 47

t 97

3, 45

t 107

p37

p48

p59

p70

p81

p 92

p1 03

p1 14

p125

p136

4, 79

t 18

3, 94

t 28

3, 59

t 38

3, 44

t 48

3, 62

t 58

3, 14

t6 8

3,09

t78

3 ,08

t88

3, 21

t 98

4, 95

t 108

p38

p49

p60

p71

p82

p 93

p1 04

p1 15

p126

p137

20, 44

t 19

9, 99

t 29

8, 47

t 39

7, 45

t 49

7, 37

t 59

6 ,44

t6 9

6 ,22

t79

5 ,96

t89

5, 05

t 99

8, 89

t 109

p39

p50

p61

p72

p83

p 94

p1 05

p1 16

p127

p138

20, 37

t 20

28, 87

t 30

28, 29

t 40

29, 74

t 50

33, 46

t 60

28, 80

t70

2 8,8 7

t80

3 0,37

t90

42, 25

t 100

33, 24

t 110

p40

p51

p62

p73

p84

p95

p1 06

p117

p128

p139

35, 8

t 111

p140

t 122

p166

Subactividades: Calentar la Mezcla en el Caldern para que Ascienda a la Torre de Rectificacin. Condensar el Vapor Generado. Recoger Condensado en el Tanque 2. Recircular el Condensado del Tanque 2. Poner en Contacto Vapor y Lquido Dentro de la Torre de Rectificacin. Recoger Condensado en el Tanque 3.

Fig. 5: Modelo con RdP de la Torre de Destilacin por Cargas. Para validar el modelo con Redes de Petri se emple el software simulador de Redes de Petri Renew. La simulacin fue la nica tcnica empleada para la validacin del modelo, dado que la complejidad matemtica de la red construida no facilitaba una validacin completa de tipo algebraica; sin embargo el software simulador permiti preliminarmente la construccin, depuracin y definicin de los ndices de operacin del modelo as como su validacin y la obtencin de resultados. La simulacin genera un reporte que indica cules transiciones se disparan, as como los tokens consumidos o producidos durante el disparo, tal como se muestra a continuacin:
Setting time to 0.0 (0) Initially (0) Initializing [] into torre[0].p1 (0) Initializing [] into torre[0].p4 (0) Initializing [] into torre[0].p10 (0) Initializing [] into torre[0].p13 (0) Initializing [] into torre[0].p16 (0) Initializing [] into torre[0].p19 (0) Initializing 1000[] into torre[0].p146 (1) Synchronously (1) Removing [] from torre[0].p16 (1) Firing torre[0].t7 (1) Putting [] into torre[0].p17 at 0.0 (1) Putting [] into torre[0].p18 at 0.0 (2) Synchronously (2) Removing [] from torre[0].p10 (2) Firing torre[0].t5 (2) Putting [] into torre[0].p11 at 0.0 (2) Putting [] into torre[0].p12 at 0.0 (3) Synchronously (3) Removing [] from torre[0].p19

(3) Firing torre[0].t8 (3) Putting [] into torre[0].p20 at 0.0 (3) Putting [] into torre[0].p21 at 0.0 (4) Synchronously (4) Removing [] from torre[0].p13 (4) Firing torre[0].t6 (4) Putting [] into torre[0].p15 at 0.0 (4) Putting [] into torre[0].p14 at 0.0 (5) Synchronously (5) Removing [] from torre[0].p4 (5) Firing torre[0].t2 (5) Putting [] into torre[0].p6 at 0.0 (5) Putting [] into torre[0].p5 at 0.0 (6) Synchronously (6) Removing [] from torre[0].p21 (6) Firing torre[0].t9 (6) Putting [] into torre[0].p22 at 0.0 (6) Putting [] into torre[0].p29 at 0.0 (6) Putting [] into torre[0].p24 at 0.0 (6) Putting [] into torre[0].p25 at 0.0 (6) Putting [] into torre[0].p23 at 0.0 (6) Putting [] into torre[0].p27 at 0.0 (6) Putting [] into torre[0].p28 at 0.0 (6) Putting [] into torre[0].p26 at 0.0 (7) Synchronously (7) Removing [] from torre[0].p1 (7) Firing torre[0].t1 (7) Putting [] into torre[0].p3 at 0.0 (7) Putting [] into torre[0].p2 at 0.0 (8) Synchronously (8) Removing [] from torre[0].p3 (8) Firing torre[0].t3 (8) Putting [] into torre[0].p7 at 0.0 (9) Synchronously (9) Removing [] from torre[0].p7 (9) Firing torre[0].t4 (9) Putting [] into torre[0].p9 at 0.0 (9) Putting [] into torre[0].p8 at 0.0

. . .

(100) Firing torre[0].t112 (100) Putting [] into torre[0].p142 at 30.0 (100) Putting [] into torre[0].p145 at 30.0 (101) Synchronously (101) Removing [] from torre[0].p145 (101) Removing [] from torre[0].p146 (101) Firing torre[0].t114 (101) Putting [] into torre[0].p147 at 30.0 [1] (101) Putting [] into torre[0].p145 at 30.0 (102) Synchronously (102) Removing [] from torre[0].p145 (102) Removing [] from torre[0].p146 (102) Firing torre[0].t114 (102) Putting [] into torre[0].p147 at 30.0 [2] (102) Putting [] into torre[0].p145 at 30.0 (1100) Synchronously (1100) Removing [] from torre[0].p145 (1100) Removing [] from torre[0].p146 (1100) Firing torre[0].t114 (1100) Putting [] into torre[0].p147 at 30.0 [1000] (1101) Synchronously (1101) Inhibiting [] at torre[0].p148 (1101) Removing 1000[] from torre[0].p147 (1101) Firing torre[0].t115 (1101) Putting 1000[] into torre[0].p147 at 30.0

. . .

. . .

(1102) Synchronously (1102) Removing [] from torre[0].p152 (1102) Removing [] from torre[0].p11 (1102) Removing [] from torre[0].p14 (1102) Firing torre[0].t117 (1102) Putting [] into torre[0].p154 at 30.0 (1102) Putting [] into torre[0].p155 at 30.0 (1102) Putting [] into torre[0].p153 at 30.0 . . . Advancing time to 100.0 (1116) Synchronously (1116) Removing [] from torre[0].p106 (1116) Removing [] from torre[0].p51 (1116) Removing [] from torre[0].p73 (1116) Removing [] from torre[0].p95 (1116) Removing [] from torre[0].p128 (1116) Removing [] from torre[0].p62 (1116) Removing [] from torre[0].p40 (1116) Removing [] from torre[0].p117 (1116) Removing [] from torre[0].p139 (1116) Removing [] from torre[0].p84 (1116) Removing [] from torre[0].p154 (1116) Firing torre[0].t111 (1116) Putting [] into torre[0].p149 at 100.0 (1116) Putting [] into torre[0].p140 at 100.0 (1121) Firing torre[0].t122 (1121) Putting [] into torre[0].p14 at 100.0 (1121) Putting [] into torre[0].p11 at 100.0 (1121) Putting [] into torre[0].p166 at 100.0 (1121) Putting [] into torre[0].p17 at 100.0

secuenciales, concurrentes, sincrnicos, as como las verificaciones y controles que ocurren en el sistema real y bajo los rangos de operacin que este posee. La construccin de la red permite evaluar cada subactividad por separado sin perder de vista las conexiones lgicas entre cada una de ellas y entre las actividades de las que se derivan, aportando un enfoque ms sistmico al estudio de los sistemas duros. 5. CONCLUSIONES El modelo conceptual del sistema que se obtiene es un modelo flexible, adaptado a los objetivos del proyecto, que expresa al sistema (desde una weltanschauung particular) en funcin de subactividades que se relacionan entre s para llevar a cabo un proceso de transformacin, con entradas y salidas que constituyen las variables representativas del comportamiento del sistema, facilitando la construccin del modelo con SEDs. Las RdP constituyen dentro de los SEDs una herramienta til para el estudio de los sistemas, permitiendo a travs de una misma estructura grfica la especificacin o construccin del modelo de la torre, la validacin y la evaluacin de su comportamiento. El modelo con RdP de la torre es un modelo cualitativo orientado a eventos que se basa en las subactividades obtenidas en el modelo conceptual y emplea los datos de las variables de salida para garantizar y validar el comportamiento de la red dentro de los rangos de operacin reales. La simulacin del modelo con RdP de la torre de destilacin por cargas permite al mismo tiempo validar y ejecutar el modelo determinando su correspondencia con el sistema real 6. REFERENCIAS BIBLIOGRFICAS Checkland, P. (1993). Pensamiento de Sistemas, Prctica de Sistemas. Editorial LIMUSA. (1era Ed.), pp. 173 218. Mxico. Flores, M. y Gonzlez M. (2003). Modelado del Comportamiento de una Torre de Destilacin por Cargas usando Redes de Petri. Universidad de Oriente. 230 pp. Barcelona, Venezuela. . Ho, Y. (1989). Scanning the Issue. Proceedings of the IEEE. Vol. 77, N 1. 4 pp. Snchez, P. (2000). Animacin de Especificaciones OASIS mediante Redes de Petri Orientadas a Objeto. Universidad Politcnica de Valencia. Valencia, Espaa 7. AGRADECIMIENTOS Los autores agradecen el apoyo del Grupo de Arquitecturas de Sistemas de Control de la Universidad de Oriente, Ncleo de Anzotegui, quien soporta este artculo enmarcado bajo la lnea de investigacin: Sistemas de Eventos Discretos.

. . .

4. ANLISIS Y DISCUSIN DE RESULTADOS Durante la simulacin se observa como se inicializa la red (Sentencias 0) y se verifican las condiciones iniciales (Sentencias 1 a 9) y como las temperaturas en los platos, en el condensador y en el caldern varan de acuerdo con el patrn de evolucin determinado estadsticamente a travs de las temporizaciones asociadas a cada una de estas transiciones hasta alcanzar los cien minutos, en donde se llega al equilibrio de masa y energa (Sentencias 1116) . Una vez que han transcurridos 30 unidades de tiempo (minutos), desde el inicio del proceso, se activa la transicin relacionada con el tiempo aproximado en que cae la primera gota de destilado en tanque 2 y se hacen falsos cuatro de los lugares correspondientes al encendido de las resistencias con lo que se garantiza que no se inunde la torre (Sentencias 100). Otro de los aspectos de la ejecucin del modelo que debe resaltarse es el ciclo de llenado del tanque 2 en el cual se muestra una representacin de recurso, volumen que condiciona el encendido de la bomba ME01 limitado a 1000 mililitros (Sentencias 101 a 1101). El resto de la simulacin muestra el recirculado del lquido y la toma de muestras a reflujo parcial y a reflujo total a travs de la ejecucin de estructuras sencillas orientadas a eventos (Sentencias 1102 a 1121). De acuerdo con la simulacin, la Red de Petri obtenida modela el comportamiento de la torre de destilacin por cargas en funcin de los eventos que en esta ocurren, reflejando los distintos procesos