Imagen de Portada

Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Juan David Contreras
Formato:	Artículo científico
Lenguaje:	es
Publicado:	Politécnico Colombiano Jaime Isaza Cadavid 2018
Materias:	Multidisciplinaria (Ciencias Naturales y Exactas) modeling Petri nets formal methods Automation project
Acceso en línea:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Design of automatic control system based on unified timed hybrid Petri net
por: Israel Francisco Benitez-Pina
Publicado: (2017)

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
por: Hanifa Boucheneb
Publicado: (2006)

Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets
por: Carlos Alberto Rojas-Gallardo
Publicado: (2019)

Workflow modelling within selected departments of the public administration focused on the regional office
por: Jan Capek
Publicado: (2007)

Modeling of an automated integral logistics system using colored petri nets
por: María P. Ochoa
Publicado: (2019)

SOFTWARE FOR FAULT DIAGNOSIS USING KNOWLEDGE MODELS IN PETRI NETS
por: ADRIAN ARBOLEDA
Publicado: (2012)

Concurrent Dynamic Visualizations With Expressive Petri Net Representations to Enrich the Understanding of Biological and Pathological Processes: an Application to Signaling Pathways
por: F. Ramos
Publicado: (2012)

A METHODOLOGY FOR KNOWLEDGE MODELING OF FAULT DIAGNOSIS BASED ON PETRI NETS
por: JUAN PALACIO BETANCUR
Publicado: (2013)

Las redes de Petri y su adopción en programas de la Universidad de Sonora
por: Eleazar Jiménez Serrano
Publicado: (2022)

An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method
por: C. A. Fernández-Fernández
Publicado: (2014)

Diseño del sistema automático para una planta piloto de recubrimientos electrolíticos. Parte I: Modelo mediante Redes de Petri Jerárquicas
por: Germán Zapata
Publicado: (2008)

Automatic generation of control solution for resource allocation using Petri net model
por: Francisco Yastami Nakamoto
Publicado: (2009)

Formal Methods for Distributed System Development
por: AJAMI, Khalil, et al.
Publicado: (2000)

Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents
por: Jorge Luis Martínez-Valencia
Publicado: (2021)

Modelos descriptivos de corona para Laurel (Cordia alliodora) bajo sistemas agroforestales en el Bosque Protector Sumaco, Ecuador
por: Álvaro Cañadas
Publicado: (2012)

VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
por: CARLOS ARTURO PARRA ORTEGA
Publicado: (2012)

A Model of Decision-Making Based on the Theory of Persuasion used in MMORPGs
por: Helio C. Silva Neto
Publicado: (2011)

Study of the dynamic behaviour of the Sancti Petri Channel, southwest coast of Spain
por: J. Vidal
Publicado: (2005)

Consideraciones para el modelado de sistemas mediante Redes de Petri
por: Carlos Castellanos
Publicado: (2006)

Designing an automated matching model to enhance recruitment process
por: Sahar, Idwan, et al.
Publicado: (2025)

Reduced Petri Net Diagnosers for Detecting and Locating Faults
por: Elvia Ruiz Beltrán
Publicado: (2009)

Performance Engineering
por: Serazzi, Giuseppe
Publicado: (2023)

Compositional Synthesis of Distributed System Components based on Augmented marked Graphs
por: K.S. Cheung
Publicado: (2008)

The PN-PEM framework: a Petri Net Based Parallel Execution Model
por: Gustavo Wolfmann
Publicado: (2015)

Leaf area estimation from linear measurements in different ages of Crotalaria juncea plants
por: JULIANA O. DE CARVALHO
Publicado: (2017)

Productive process improvement to elaborate cane train baskets, using Coloured Petri nets
por: Jesus Filander Caratar-Chaux
Publicado: (2018)

Unmanned Helicopter Faults Diagnosis based on Petri Nets
por: Miguel A. Trigos
Publicado: (2016)

Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets
por: María Elena Villapol
Publicado: (2012)

IMPLEMENTACIÓN DE ALGORITMOS DE CONTROL DE TRÁFICO VEHICULAR CON REDES DE PETRI NO BINARIAS UTILIZANDO DIAGRAMAS EN ESCALERA
por: Jhony Andrés Arroyave Díaz
Publicado: (2012)

INTELIGENCIA ARTIFICIAL, TÉCNICAS DE SIMULACIÓN, Y SU FUTURO EN LA INGENIERÍA INDUSTRIAL
por: Eleazar Jimenez Serrano
Publicado: (2020)

ICMM-FW-02 : ICMM: Complex Multi-Magnetic Information - definitions, axioms, and formal framework
por: Cordier, Frédéric
Publicado: (2026)

UAREI: A model for formal description and visual representation /software gamification
por: Darius Ašeriškis
Publicado: (2017)

Screening capabilities for the 3D dyscalculia identification game framework
por: Bambang Pudjoatmodjo, et al.
Publicado: (2025)

Optimization of Building Information Modeling in Architectural Projects
por: Ava Moreno, et al.
Publicado: (2018)

Modelagem de Conceitos e Processos Matemáticos por Redes de Petri Coloridas: o caso da integrabilidade de funções reais
por: Natália Maria Cordeiro Barroso
Publicado: (2013)

Metodología de programación de autómatas programables a partir de Redes de Petri
por: Johny Álvarez Salazar
Publicado: (2019)

Diseño e implementación del sistema de diagnostico de fallos usando redes de petri interpretadas y coloreadas
por: Luis Diego Murillo-Soto
Publicado: (2018)

Simulacion de operación de celdas de manufactura flexible FMC, utilizando las redes de Petri
por: Carlos A. Montilla M.
Publicado: (2007)

Aplicación para control supervisor con redes de Petri y traducción automática a código Ladder para el software RSLogix500TM
por: CARLOS ALBERTO GAVIRIA-LÓPEZ
Publicado: (2015)

Modelación de enclavamientos en subestaciones eléctricas de transmisión de energía utilizando Redes de Petri de alto nivel
por: Fredy Alberto Sanz
Publicado: (2007)