Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Dialnet RedesDePetri 4835618 PDF
Dialnet RedesDePetri 4835618 PDF
Palabras clave
Key words
Resumen
Abstract
Introduccin
1. Profesor de la Escuela de Ingeniera Electromecnica del Instituto Tecnolgico de Costa Rica. Correo
electrnico: lmurillo@itcr.ac.cr.
102
103
Redes de Petri
PN = (P,T,F,W,M0)
104
Alcanzabilidad: La alcanzabilidad es la
principal propiedad dinmica y consiste
en que cada disparo de una transicin
habilitada modifica la distribucin de los
marcados dentro de la red, de acuerdo
con las reglas de disparo. Una secuencia
de disparos generar una secuencia de
marcados. Se dice que un marcado Mn es
alcanzable desde el macado M0 si y slo
si existe una secuencia de disparos que
transforme M0 en Mn. La secuencia de
disparos se denota por sigma:
= M0 t1 M1 t2 M2 tn Mn
En este caso, Mn es alcanzable desde M0
por , lo cual se escribe de la siguiente
forma: M0[> Mn. El conjunto de todos
los marcados posibles a partir de M0 es
denotado por R(N,M0) y el conjunto de
todos los posibles disparos desde M0 es
denotado como L(N,M0). El problema de
alcanzabilidad consiste en encontrar un Mn
R(N,M0).
105
106
Mtodos de anlisis de
propiedades dinmicas
Propiedades estticas
107
108
p ={t|(t,p)F}= transiciones de
entrada antes de p
Evolucin de las pn y su
impacto sobre el modelado
109
Transiciones
Lugares de salida
Precondiciones
Eventos
Postcondiciones
Datos de entrada
Paso de cmputo
Datos de salida
Seal de entrada
Seal de
procesamiento
Seal de salida
Necesidad de recursos
Trabajo o tarea
Recursos liberados
Condiciones
Clusula lgica
Conclusiones
Memorias
Procesador
Memorias
110
111
(a)
La aproximacin de comportamiento
controlado se refiere a modelos con Redes
de Petri que describen el comportamiento
del sistema a lazo cerrado, integrando tanto
la planta como el controlador y cuando se
obtiene el comportamiento deseado, se
extrae la lgica del controlador para su
implementacin.
(b)
Figura 7. a) Elementos bsicos de SFC. b) Cuatro SFC donde se
muestra la evolucin de las marcas en las etapas, cuando se valida
la receptividad de una transicin.
112
Donde:
LPN=(N, , l, m0, F)
113
(a)
(b)
Figura 8. a) Red de Petri de dos procesos
y su respectivo control supervisor b)
Implementacin en SFC de la PN, segn
estndar IEC 1131-3 [30].
114
115
116
117
Validacin
Especificacin
Informal
Formalizacin
Especificacin
Formal
Implementacin
Resultado
118
Formalmente:
119
En nuestras
universidades es
necesario replantear los
cursos concernientes
a la enseanza del
funcionamiento y
programacin de PLCs.
En el plan de estudio
se debe prestar
mayor atencin al
levantamiento formal
de los requerimientos
y a su validacin, al
modelado formal de la
planta y del controlador,
a la validacin de
los modelos, a la
implementacin
del software y a su
verificacin.
120
121
122
Perpectivas futuras
123
Conclusiones
Bibliografa
124
125