Cover Image

Las redes de Petri y su adopción en programas de la Universidad de Sonora

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Eleazar Jiménez Serrano
Format:	Artículo científico
Language:	es
Published:	Universidad de Sonora 2022
Subjects:	Multidisciplinaria (Ciencias Naturales y Exactas) Redes de Petri verificación de software simulación de sistemas de manufactura
Online Access:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluación del Desempeño de Procesos Industriales Utilizando Redes de Petri Simuladas Bajo el Formalismo DEVS
by: Carlos A. Parra Ortega
Published: (2008)

MODELADO CON REDES DE PETRI E IMPLEMENTACIÓN CON GRAFCET DE UN SISTEMA DE MANUFACTURA FLEXIBLE CON PROCESOS CONCURRENTES Y RECURSOS COMPARTIDOS
by: Johanna Stella Castellanos Arias
Published: (2010)

Consideraciones para el modelado de sistemas mediante Redes de Petri
by: Carlos Castellanos
Published: (2006)

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

Modelación de la cadena de suministro evaluada con el paradigma de manufactura esbelta utilizando simulación
by: Ángel Morales-González
Published: (2013)

El enfoque de sistemas para la aplicación de la manufactura esbelta
by: Yolanda Juárez-López
Published: (2011)

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

Método para el modelado y prueba de Diagramas de Casos de Uso mediante redes de Petri
by: Lionel Rodolfo Baquero Hernández
Published: (2016)

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

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

Implementación de redes de Petri para el diseño de mallas a tierra de subestaciones eléctricas
by: SANTIAGO SANCHEZ ACEVEDO
Published: (2007)

Sistema de verificación de voltaje de baterías y recarga de proveedores para simuladores de tiro de pistola Sig Sauer SP2022
by: Yazmin Jattin Vargas-Capacho
Published: (2021)

REVISIÓN, VERIFICACIÓN Y VALIDACIÓN EN UN PROCESO DE DESARROLLO DE SOFTWARE
by: Javier Blanco-Llano
Published: (2011)

Redes neuronales artificiales en la predicción de insolvencia. Un cambio de paradigma ante recetas tradicionales de prácticas empresariales
by: Marcia M. Lastre Valdes
Published: (2014)

Sistema ascensor de cuatro pisos controlado mediante redes de Petri con fines didácticos
by: Iñaki Aguirre-Gil
Published: (2013)

Modelación de Exclusión Mutual de Sistemas de Eventos Discretos con Redes de Petri
by: Guelvis Mata
Published: (2015)

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

Redes de Petri: Modelado e implementación de algoritmos para autómatas programables
by: Luis Diego Murillo
Published: (2008)

Modelo de un sistema de producción esbelto con redes de Petri para apoyar la toma de decisiones
by: Alberto Morales Varela
Published: (2015)

Análisis de Sistemas de Eventos Discretos con Redes de Petri
by: Guelvis Mata
Published: (2016)

Simulación de un sistema de manufactura flexible con redes de Petri coloreadas
by: Luis Diego Murillo Soto
Published: (2010)

Revisiones de código en el contexto del aseguramiento de calidad. Un caso práctico
by: M. J. Escalona
Published: (2008)

Métodos formales e Ingeniería de Software
by: Edgar Serna Montoya
Published: (2010)

Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool
by: Juan David Contreras
Published: (2018)

UN MÉTODO COMPUTACIONAL PARA LA DETECCIÓN Y CARACTERIZACIÓN DE CONFLICTOS EN REDES DE PETRI
by: Pedro Luis Ángel Restrepo
Published: (2011)

COMPROBACIÓN DE LA FACTIBILIDAD DE EJECUCIÓN DE UN PROCEDIMIENTO ORGANIZATIVO MEDIANTE REDES DE WORKFLOW
by: Juan Carlos Michalus
Published: (2015)

Control de una celda de un sistema de manufactura integrada por computador - CIM
by: Sigilfredo Arregocés C.
Published: (2007)

Política de despacho para evitar bloqueos en celdas de manufactura flexible del tipo multi-reentrante
by: Luis Diego Murillo-Soto
Published: (2013)

Determinación de Estrategias de Producción y Reemplazo a través de un Modelo de Simulación
by: Heber Hernández-Lopez
Published: (2017)

Diseño, Construcción y Modelo Matemático de un Sistema Ferroviario a Escala basado en Redes de Petri Interpretadas
by: Elvia Ruiz Beltrán
Published: (2011)

Prueba del software: más que una fase en el ciclo de vida
by: Edgar Serna M.
Published: (2011)

Manufactura y automatización
by: Ernesto Córdoba Nieto
Published: (2006)

Redes de Petri estocásticas en el impacto de la capacidad en el servicio en restaurantes de producción masiva
by: Santiago Morales-González
Published: (2018)

Mejoramiento de procesos de manufactura utilizando Kanban
by: Martin Darío Arango Serna
Published: (2015)

METODOLOGÍA PARA LA SOLUCIÓN DE SUPERVISIÓN DE UNA CÉLULA DE ENSAMBLAJE CON BASE EN LA TÉCNICA DE LUGARES INVARIANTES
by: MAURICIO HOLGUÍN LONDOÑO
Published: (2009)

Manufactura Esbelta: una contribución para el desarrollo de software con calidad
by: Macringer Omaña
Published: (2010)

MODELACIÓN, SIMULACIÓN Y CONTROL DE UN LEVITADOR NEUMÁTICO
by: Luis E. García Jaimes
Published: (2015)

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

Redes de Petri: una herramienta para la validación de procedimientos
by: Leudis Orlando Vega-de la Cruz
Published: (2020)

Sistema de movimiento del cursor del computador para personas con discapacidad
by: Iñaki Aguirre
Published: (2012)