:: Library Catalog

Cover Image

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:	https://www.redalyc.org/articulo.oa?id=726276432003 https://www.redalyc.org/journal/7262/726276432003/ https://www.redalyc.org/journal/7262/726276432003/html/ https://www.redalyc.org/journal/7262/726276432003/726276432003.epub https://www.redalyc.org/journal/7262/726276432003/movil https://doi.org/10.36790/epistemus.v16i33.221
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)

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

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

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)

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)

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)

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)

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)

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

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)

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

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

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

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)

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)

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

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

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

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)

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

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

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)

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

EVALUACION DE MECANISMOS DE COOPERACION ENTRE GENERACIONES DE DESARROLLADORES EN EL PROCESO DE DESARROLLO DE SOFTWARE LIBRE
by: Fernando Castillo Zapata
Published: (2015)

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)

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

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)

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

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

Hongos ambientales en una biblioteca: un año de estudio
by: Dante J. Bueno
Published: (2003)

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

APLICACIÓN DE DISEÑO, SIMULACIÓN, IDENTIFICACIÓN DE SISTEMAS E IMPLEMENTACIÓN DE CONTROLADORES PID - DIGITROL
by: Jhon Alexander Ramírez Urrego
Published: (2016)