13.07.2015 Views

Diagnóstico de fallas en el generador de vapor - Instituto de ...

Diagnóstico de fallas en el generador de vapor - Instituto de ...

Diagnóstico de fallas en el generador de vapor - Instituto de ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Activida<strong>de</strong>s <strong>de</strong> investigación6P = {p 1, p 2, …, p m} es un conjunto finito <strong>de</strong> lugares.T = {t 1, t 2, ... , t n} es un conjunto finito <strong>de</strong> transiciones.P T = y P T , los conjuntos P y T son disjuntos.Pre : P x T {0, 1} es la aplicación <strong>de</strong> la <strong>en</strong>trada <strong>de</strong> inci<strong>de</strong>ncia.Post : P x T {0, 1} es la aplicación <strong>de</strong> la salida <strong>de</strong> inci<strong>de</strong>ncia.Pre(P i,T j) es <strong>el</strong> peso <strong>de</strong>l arco P i T j; <strong>el</strong> peso es <strong>de</strong> 1 si <strong>el</strong> arco existe y 0 si no.Post(P i,T j) es <strong>el</strong> peso <strong>de</strong>l arco <strong>de</strong> T j P i.Red <strong>de</strong> Petri g<strong>en</strong>eralizada no marcada. Se <strong>de</strong>fine como una red <strong>de</strong> Petri ordinaria no marcada,excepto que:Pre : P x T NPost : P x T Ndon<strong>de</strong> N es <strong>el</strong> conjunto <strong>de</strong> los números naturales.Se utiliza la sigui<strong>en</strong>te notación:oT j= {P i P | Pre (P i, T j) > 0 } = conjunto <strong>de</strong> lugares <strong>de</strong> <strong>en</strong>trada <strong>de</strong> T joT j= {P i P | Post (P i, T j) > 0 } = conjunto <strong>de</strong> lugares <strong>de</strong> salida <strong>de</strong> T joP i= {T j T | Post (P i, T j) > 0 } = conjunto <strong>de</strong> transiciones <strong>de</strong> <strong>en</strong>trada <strong>de</strong> P ioP i= {T j T | Pre (P i, T j) > 0 } = conjunto <strong>de</strong> transiciones <strong>de</strong> salida <strong>de</strong> P iRed <strong>de</strong> Petri marcada. Es un par R = Q, M 0, don<strong>de</strong> Q es una red <strong>de</strong> Petri no marcada y M 0es la marca inicial.Con <strong>el</strong> uso <strong>de</strong> álgebra lineal para <strong>el</strong> análisis <strong>de</strong> re<strong>de</strong>s <strong>de</strong> Petri, se introduce un cierto formalismomatemático, aplicable a las re<strong>de</strong>s <strong>de</strong> Petri ordinarias y g<strong>en</strong>eralizadas.Red <strong>de</strong> Petri pura. Una red <strong>de</strong> Petri es una red pura, si no existe ninguna transición quet<strong>en</strong>ga un lugar que sea al mismo tiempo <strong>de</strong> <strong>en</strong>trada y salida <strong>de</strong> la transición:t j T, p i P, Pre (p i, t j) Post (t j, p i) = 0 [1]Matriz <strong>de</strong> inci<strong>de</strong>ncia. Para una red <strong>de</strong> Petri N con ntransiciones y m lugares, la matriz <strong>de</strong> inci<strong>de</strong>nciaA=[a ij] es una matriz <strong>de</strong> n x m, y sus <strong>en</strong>tradas típicasson dadas por:a i j= a i j+- a i j–[2]don<strong>de</strong> a i j+= w(i, j) es <strong>el</strong> peso <strong>de</strong>l arco <strong>de</strong> la transicióni a su lugar <strong>de</strong> salida, j y a i j-= w(j, i) es <strong>el</strong> peso<strong>de</strong>l arco <strong>de</strong> la transición i a su lugar <strong>de</strong> <strong>en</strong>trada j. Enla Fig. 4 se muestra una red <strong>de</strong> Petri con su matriz<strong>de</strong> inci<strong>de</strong>ncia.Ecuación <strong>de</strong> estados. A partir <strong>de</strong> la matriz <strong>de</strong> inci<strong>de</strong>nciase pue<strong>de</strong>n obt<strong>en</strong>er los estados sigui<strong>en</strong>tes<strong>de</strong> la red, conoci<strong>en</strong>do qué transición será disparaday <strong>el</strong> estado actual <strong>de</strong> la red. Esto se pue<strong>de</strong> realizaraplicando la sigui<strong>en</strong>te ecuación (Murata T, 1977):M k= M k - 1+ A T k=1du kk = 1,2... [3]Figura 4. a) red <strong>de</strong> Petri, b) matriz <strong>de</strong> inci<strong>de</strong>ncia.a) b)=[ ]A-2 1 11 -1 01 0 -10 -2 2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!