Automatica

El (SFC) formalismo GRAFCET, anteriormente también llamado Grafcet, fue definida a partir de redes de Petri, a fin de definir un nuevo modelo de eventos discretos gráficos adecuados para describir sistemas de control lógico. Por lo tanto, hay muchas similitudes en las estructuras y en las reglas de evolución de redes de Petri (PN) y SFC [10]. El formalismo SFC También se ha incluido en la normaIEC 61131 parte 3 en 1993 como uno de los cinco lenguajes de programación estándar para PLC.
Un SFC puede definirse formalmente como un 4-tuple
(,,,) 0 SFC = S T F M, donde:
{} M S s, s, s, s 1 2 3 m = es un conjunto finito de pasos;
{} N T t, t, t,, t 1 2 3 m = es un conjunto finito de transiciones;
F = (S × T) ∪ (T × S) son conjuntos de conexiones de los pasos
a las transiciones y de lastransiciones a pasos;
{} M: 0,1,2,3, 0 M S → es el marcado inicial;
S ∩T = φ y φ S ∪ T ≠.
Debido a las similitudes entre PN y las SFC Accesibilidad, viveza y reversibilidad propiedades definiciones para las redes de Petri pueden ser directamente aplicados también a la SFC formalismo [1], [5], [6]. Por lo tanto, tales propiedades pueden ser definido con referencia a un diagrama de función secuencial comode la siguiente manera.
Accesibilidad. Un Mn marcado se dice para ser alcanzable de un Mo marcado si existe una secuencia de disparos que transforma Mo a Mn. La accesibilidad es un comportamiento propiedad ya que depende de la marca inicial. Un tema importante en el diseño de un sistema de control de fabricación es si el sistema puede llegar a un estado específico o no, Por lo tanto, la propiedadde accesibilidad es de interés en el estudio de tales sistemas.
Liveness. Una SFC se dice que es en vivo (o equivalentemente Mo se dice que es un vivo marcando para el (,,,) 0 SFC = STFM) si, no importa lo que ha marcado ha alcanzado de Mo, es posible disparar en última instancia cualquier transición de la SFC al progresar a través de algunos más la secuencia de disparo. Esto significa que una SFCvivo garantiza punto muerto- libre funcionamiento, la secuencia no importa que disparo es elegido. Esta propiedad garantiza que todas las transiciones son firable, y todos los estados del sistema de control lógico que son modeladas por los pasos SFC pueden ocurrir.
La reversibilidad. Una SFC se dice que es reversible si, para cada marcado M en R (M0), Mo es accesible desde M. Por lo tanto, en unSFC reversible, siempre es posible volver a la marcado inicial o estado. En muchas aplicaciones, no es necesario volver al estado inicial, siempre que es posible llegar a algunos (casa) estado adecuado. Una marcado M 'se dice que es un estado de origen si, para cada marca M en R (M0), M 'es alcanzable desde M. La reversibilidad implica que el sistema tendrá un comportamiento cíclico y realizarásus funciones repetidamente. También caracteriza la recuperación del estado inicial de cualquier estado de la sistema.
Además, como para la propiedad safeness, lo que significa que en un PN el número de fichas en cada lugar tiene nunca exceder de uno, esta lata supone que siempre es cierto para un SFC, ya que en la notación SFC cada paso sólo puede estar activa (contiene una ficha) o no activo (nocontiene token), que es un estado booleano (verdadero / falso, encendido / apagado, 1/0) se asocia a cada paso. Así pues, si un paso en la notación de SFC se asocia a una colocar en el formalismo Net Petri y un paso activo a un lugar que contiene una ficha, a continuación, el número máximo de fichas en cada lugar de la PN asociada a una SFC puede No exceda una. Esto significa que cada SFC se puedesuponer para estar seguro.
III. LA METODOLOGÍA DE DISEÑO MODULAR PROPUESTA
Para diseñar sistemas de control lógico RMS modular y una enfoque distribuido está aquí adoptada. La modularidad permite la reducción de la complejidad del problema de diseño global por dividiéndolo en subproblemas más simples que pueden ser tratados por separado [2], [7], [9]. Los diferentes módulos de control se...