A modeling language for Petri net based factory automation systems

Nakamura, Daishin; Takeda, Yoichi; Murakoshi, H.; Funakubo, Noboru; Dohi, Y.

doi:10.1109/iecon.1998.723956

Cited by 3 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Una PN tienen un poder más descriptivo que las máquinas de estados finitos en el sentido que el conjunto del lenguaje de la PN, es un superconjunto de los lenguajes regulares y permite un modelado más conciso, (Kumar y Holloway, 1996;Valk y Vidal-Naquet, 1981). Algunas propuestas para modelar SED bajo el lenguaje en PN se pueden ver en Nakamura et al (1998);Sreenivas (1993Sreenivas ( , 2006; Gaubert y Giua (1996) o para encontrar ciclos en sistemas de estados repetitivos en Desel (2013).…”

Section: Introductionunclassified

Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos

Muñoz

Correcher

García

et al. 2016

Revista Iberoamericana de Automática e Informática Industrial R

View full text Add to dashboard Cite

ResumenEn este artículo se propone una red de Petri, interpretada, estocástica, (st-IPN), como modelo para representar el lenguaje regular obtenido a partir de la combinación de señales de entrada -salida, en un sistema de eventos discretos (SED) en lazo cerrado. Las señales de entrada, son las señales externas que afecten al sistema y lasórdenes de control emitidas por el controlador a la planta y las señales de salida son las respuestas de los sensores a lasórdenes de control. La st-IPN propuesta, es un generador determinista del lenguaje legal del sistema, capaz de representar secuencias de eventos temporizados de naturaleza estocástica. El modelo propuesto puede ser aplicado a sistemas de gran escala, a partir de la división del sistema en subsistemas, ya que el modelo global puede ser encontrado con base en la composición de los modelos de los subsistemas. Palabras Clave:Modelado de sistemas de eventos discretos, Redes de Petri, Observabilidad temporal. * Autor en correspondencia.

show abstract

Section: Introductionunclassified

Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos

Muñoz

Correcher

García

et al. 2016

Revista Iberoamericana de Automática e Informática Industrial R

View full text Add to dashboard Cite

show abstract

“…década de los 1980s empiezan a documentarse sus aplicaciones en la industria [4][5][6][7][8], llegando eventualmente a fusionarse en la aplicación con el lenguaje Ladder [9] y programación de PLC [10], con aplicaciones que pasaron de automatización de sistemas de corte de acero forjado [11] a, más recientemente, sistemas automatizados de manufactura [12,13] y CNC [14]. Inclusive, se encuentran hoy día aplicaciones de las redes de Petri a la programación de robots [15], monitoreo de desempeño de satélites [16] y supervisión de sistemas interactivos humano-computador [17].…”

unclassified

Redes de Petri en la automatización de una máquina tampográfica de plásticos

Sierra¹,

Blanco²,

Mckinley

et al. 2019

Sci. tech

View full text Add to dashboard Cite

Se documenta la implementación de la rutina de programación de una máquina para tampografía Comec-1998 usada para la impresión de piezas de plástico. El ciclo de trabajo comprende tres rutinas: batido de tinta, operación de ciclo sencillo y operación de ciclo continuo; programadas con tres cilindros, cuatro finales de carrera y dos temporizadores. Después de identificar los elementos para el ciclo de trabajo, se establecen las condiciones para generar los estados. Las transiciones en la red de Petri sirven para ir de un lugar a otro, usando la Automatización de las Redes de Petri y los conceptos de la Lógica de Pase de Tokens. Un PLC Siemens S7-200 se programó en programa KOP Ladder, dada la simplicidad y facilidad al pasar de la red de Petri al diagrama de lógica cableada.

show abstract

“…Una PN tienen un poder más descriptivo que las máquinas de estados finitos en el sentido de que el conjunto de lenguaje de la PN es un superconjunto de los lenguajes regulares, y permite un modelado más conciso, [47,48]. Algunas propuestas para modelar SED bajo el lenguaje PN se pueden ver en: [49,50,51,23] o para encontrar ciclos en sistemas de estados repetitivos en [52].…”

Section: Respecto a Modeladounclassified

Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos.

Muñoz-Añasco¹,

Mariela²

View full text Add to dashboard Cite

A modeling language for Petri net based factory automation systems

Cited by 3 publications

References 6 publications

Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos

Generación Determinística de Lenguajes Legales para Sistemas de Eventos Discretos

Redes de Petri en la automatización de una máquina tampográfica de plásticos

Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos.

Contact Info

Product

Resources

About