Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas

Pinto Molina, Gairlis; Socarras Bertiz, Carlos Alberto; Moya Camacho, Fabio Orlando

Publicación:
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas

dc.contributor.author	Pinto Molina, Gairlis
dc.contributor.author	Socarras Bertiz, Carlos Alberto
dc.contributor.author	Moya Camacho, Fabio Orlando
dc.coverage.spatial	Departamento de La Guajira
dc.date.accessioned	2024-11-01T22:39:49Z
dc.date.available	2024-11-01T22:39:49Z
dc.date.issued	2022
dc.description	Incluye índice de tablas y figuras	spa
dc.description.abstract	Este trabajo se planteó, como meta, proporcionar herramientas de mo delado que le permitan evaluar la dinámica funcional de los sistemas a implementar en los procesos productivos, dentro de la célula de manufac tura altamente automatizada HAS-200, con la cual cuenta la Universidad de la Guajira. Dentro de los materiales y métodos utilizados para el al cance de esta meta se encuentran el formalismo de las redes de Petri, que permite evaluar y representar los sistemas a eventos discretos de los dife rentes circuitos neumáticos y electroneumáticos presentes en los sistemas de producción industrial. Se tomó como referente la estación HAS-201 alimentación de botes multicolor, que cuenta con las condiciones ideales para poder comprobar el modelo de detección de fallas establecido me diante las redes de Petri coloreadas. Se concluye que con estos modela mientos se proveerá a la Universidad de la Guajira con los conocimientos necesarios para que los diseños realizados sean correctos y cumplan con las especificaciones para lo cual ha sido concebida, además de poder ex traer propiedades sobre	spa
dc.description.abstract	The goal of this work was to provide modeling tools to evaluate the functional dynamics of the systems to be implemented in the produc tion processes within the HAS-200 highly automated manufacturing cell at the University of Guajira. Among the materials and methods used for the achievement of this goal are the formalism of Petri nets, which allow to evaluate and represent the systems to discrete events of the different pneumatic and electro-pneumatic circuits present in the industrial pro duction systems. The HAS-201 multicolor can feeding station was taken as a reference, which has the ideal conditions to be able to check the fault detection model established by means of the colored Petri nets. It is con cluded that these models will provide the University of La Guajira with the necessary knowledge to ensure that the designs are correct and com ply with the specifications for which they were conceived, in addition to being able to extract properties about the system behavior	eng
dc.description.edition	Primera edición
dc.description.notes	Contiene imágenes a color	spa
dc.description.tableofcontents	Introducción Capítulo I Problemática en sistemas de producción industrial y objetivo de la investigación Objetivo de la investigación Capítulo II Fundamentación teórica del estudio y características cualitativas de las redes Redes de Petri Definición formal Redes de Petri Coloreadas (CPN) Propiedades cualitativas de las redes Celda de manufactura has-200. Descripción general Funcionamiento de la celda Subsistema físico Estación HAS-201. Alimentación de botes multicolor. Descripción funcional Sistemas de bloques funcionales Alimentación de los botes Desplazamiento de los botes Cinta transportadora Subsistema de control Autómata programable Botonera de control Contenido 4 Capítulo III Presentación del modelado funcional de la estación Parámetros de configuración y declaración de variables en el entorno de simulación de Cpntool Librería Tool box Paleta auxiliar Paleta crear Paleta de jerarquía Paleta net Paleta de simulación Paleta estilo Paleta de vista Diseño de una nueva red en el software Cpntool Capítulo IV Funcionamiento de la estación HAS 201, mediante las herramientas del software Cpntool Modelo simplificado del funcionamiento global de la estación Has 201, en el software Control Representación estructural de la estación de aprovisionamiento de botes multicolor HAS-201 Matriz de incidencia de la estación HAS-201 Ecuación de estado de la red general de la estación HAS-201 Vector característico Conclusiones Referencias bibliográficas	spa
dc.format.extent	85 páginas
dc.format.mimetype	application/pdf
dc.identifier.isbn	978-628-7581-99-9
dc.identifier.uri	https://repositoryinst.uniguajira.edu.co/handle/uniguajira/1139
dc.language.iso	spa
dc.publisher	Universidad de La Guajira
dc.publisher.place	Distrito Especial, Turistico y Cultural de Riohacha
dc.relation.references	Aalst W van der y Hee K van, 2002, Workflow Management, Models, Methods, and Systems, MIT Press, USA
dc.relation.references	A. Correcher Salvador and M. Sanjuan Verdu, “Diagnóstico distribuido mediante el método de anidamiento latente de fallos usando RdPC,” 2011
dc.relation.references	A. D. González Yzcoa, E. Alcorta García, and C. Elizondo González, “Detección de fallas en sistemas retroalimentados.,” in Detección de fallas en sistemas retroalimentados, 2012, pp. 296–301.
dc.relation.references	A. Giua and M. Silva, “Modeling, analysis and control of Discrete Event Systems: a Petri net perspective,” IFAC-PapersOnLine, vol. 50, no. 1, pp. 1772–1783, Jul. 2017
dc.relation.references	A. M. Varela, J. A. R. Ramírez, L. H. H. Gómez, Á. M. González, and M. Y. J. Reyes, “Modelo de un sistema de producción esbelto con redes de Petri para apoyar la toma de decisiones,” Ingeniare, vol. 23, no. 2, pp. 182–195, 2015
dc.relation.references	A. Ríos-Bolívar, F. Hidrobo, and P. Guillén, “Diagnóstico de fallas en procesos dinámicos: Un enfoque basado en SVM,” 5to Congr. Iberoam. Estud. Ing. Eléctrica, vol. 5, pp. 1–8, 2012
dc.relation.references	A. V. Ratzer et al., “CPN tools for editing, simulating, and analysing Coloured Petri Nets,” Lect. Notes Comput. Sci. (including Subser. Lect. Notes Artif. Intell. Lect. Notes Bioinformatics), vol. 2679, pp. 450–462, 2003
dc.relation.references	Aalst W van der y Hee K van, 2002, Workflow Management, Models, Methods, and Systems, MIT Press, USA
dc.relation.references	Allen-Bradley, “Manual del usuario de los controladores CompactLogix 1769,” p. 154, 2013
dc.relation.references	Anisimov NA, Golenkov EA y Kharitonov DI, 2001, Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems, Journal of Programming and Computer Software, Vol. 27, No. 6, pp. 309-319
dc.relation.references	ATLAS COPCO S.A.E. ESPAÑA. Atlas Copco manual. Traducción del atlas Copco Manual, 3ª Ed. En Bernardi S, 2002, Building Stochastic Petri Net models for the verification of complex software systems, Tesis de doctorado, University of Turin. Italy
dc.relation.references	Bernardinello L y de Cindio F, 1992, A Survey of Basic Net Models and Modular Net Classes, LNCS Vol 609, Springer Verlag. (http://www.informatik.uni-hamburg.de/ TGI/PetriNets/classification/)
dc.relation.references	Brams GW, 1986a, Las Redes de Petri, teoría y práctica, Tomo 1, Teoría y análisis, Masson, S.A. Barcelona
dc.relation.references	Brams GW, 1986b, Las Redes de Petri, Teoría y práctica, Tomo 1, Modelización y aplicaciones, Masson, S.A. Barcelona
dc.relation.references	C. G. Cassandras and S. Lafortune, Introduction to discrete event systems. Springer US, 2008.
dc.relation.references	C. Mahulea, C. Seatzu, M. P. Cabasino, and M. Silva, “Fault diagnosis of discrete-event systems using continuous petri nets,” IEEE Trans. Syst. Man, Cybern. Part ASystems Humans, vol. 42, no. 4, pp. 970–984, Jul. 2012
dc.relation.references	C. Seatzu, “Fault diagnosis of discrete event systems using Petri nets,” CEUR Workshop Proc., vol. 1256, no. July, pp. 12–15, 2014.
dc.relation.references	Čapek J, 2001, Petri Net Simulation of Non-deterministic MAC Layers of Computer Communication Networks, Tesis de Doctorado, Czech Technical University, Czech Republic
dc.relation.references	Colom JM, Silva M y Teruel E, 2003, Properties of Petri Nets, En C. Girault y R. Valk (Eds,), Petri Nets for Systems Enginering, A Guide to Modeling, Verification, and Applications, pp. 53-72, Springer-Verlag, Germany
dc.relation.references	Cortadella J, Lavagno L y Yakovlev A, 2000, Petri Nets 2000: Hardware Design and Petri Nets, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark.
dc.relation.references	Crane. Flujo de fluidos en válvulas, accesorios y tuberías. Vafilsa S.A (trad.) Revisión: Clemente
dc.relation.references	D. De, D. A. S. Cerda, A. S. López, J. E. Martínez, and C. D. García, “Diagnóstico de fallas en el generador de vapor de una termoeléctrica usando redes de Petri,” pp. 3–14, 2007
dc.relation.references	. Mariela Muñoz Añasco and A. Correcher Salvador, “Identificación y diagnóstico de fallos en sistemas de eventos discretos estocásticos.,” 2015.
dc.relation.references	Del Razo, Hernández Adolfo, Sistemas neumáticos e hidráulicos: apuntes de teoría. Ed. Denmark. Jiménez E, 2004, Técnicas de automatización avanzadas en procesos industriales, Tesis de doctorado, Universidad de La Rioja, España. Kiepuszewski B, 2003, Expressiveness and Suitability of Languages for Control Flow Modeling in Workflows, Tesis de Doctorado, Queensland University of Technology, Australia.
dc.relation.references	Deppert W. / K. Stoll. Aplicaciones de neumática. Ed. Marcombo, 1991. España, Barcelona. 162 p.
dc.relation.references	Deppert, W. y STOLL, K. Dispositivos neumáticos: Introducción y fundamentos. Cayetano Cabrera
dc.relation.references	Division Training. Germany ©1998 OMEGA Fachliteratur. ISBN 3-9805925-2-9 E. J. Marin Garcia, “Sistema de automatización de eventos discretos, involucrados en la línea de producción de la estación de gabinetes que se encuentra en la empresa Mabe Colombia S.A.,” UNIVERSIDAD TECNOLÓGICA DE PEREIRA, Pereira, 2008.
dc.relation.references	E. Y. García-Blanco , H. Ripoll-Sierra , H. Ripoll-Goenaga , J. Roldán-Mckinley and Yime Rodríguez, “Máquina Tampográfica de Plásticos Petri net in the automation of a pad printing machine for plastics,” vol. 24, no. 01, pp. 35–45, 2019. E.P.S. Ingeniería Gijón. Instalación de aire comprimido. área de mecánica de fluidos. Oviedo. 2008. Ermel C y Martini A, 1996, A Taste of Categorical Petri Nets, Technical Report No.96-9, Computer Science Department, Technical University of Berlin, Germany.
dc.relation.references	F. A. Kristjanpoller Rodríguez, “Propuesta de herramientas basadas en fiabilidad para el modelado de sistemas productivos complejo,” p. 1, 2018.
dc.relation.references	F. Javier and B. Navarro, “Tesis maestría - 2013 - Modelado y desarrollo de automatismos por medio de la red de Petri,” 2013.
dc.relation.references	Festo Didactic, Iniciación al personal de montaje y mantenimiento. Manual de estudio
dc.relation.references	Festo Didactic. Catálogos festo didactic 2010. Obtenidos de la página web de Festo e Gaeta R, 1997, Performance Analysis of ATM Communication Networks by Timed Petri Nets: Methodological Advances and New Simulation Algorithms, Tesis de doctorado, University of Torino, Italy
dc.relation.references	G. Metodolog, G. En, and P. Appliqu, “Modos de marcha y parada La guía Gemma, contenido del tema,” pp. 1–20
dc.relation.references	G. P. Bhandari, R. Gupta, and S. K. Upadhyay, “Colored Petri Nets based fault diagnosis in service oriented architecture,” Int. J. Web Serv. Res., vol. 15, no. 4, pp. 1–28, Oct. 2018
dc.relation.references	Getafe, 1996. (Descatalogado)
dc.relation.references	Graaf M van der y Aalst W van der, 2003, Workflow Systems, En C. Girault y R. Valk (Eds,), Petri Nets for Systems Enginering, A Guide to Modeling, Verification, and Applications, pp. 507-540, Springer-Verlag, Germany
dc.relation.references	H. Dhouibi, M. Bochra, M. Hassani, and Z. Simeu Abazi, “Diagnosis of hybrid systems through Observers and Timed Automata,” 2014, p. 10
dc.relation.references	H. Macià, V. Valero, G. Diaz, J. Boubeta-Puig, and G. Ortiz, “Complex Event Processing Modeling by Prioritized Colored Petri Nets,” IEEE Access, vol. 4, pp. 7425–7439, 2016
dc.relation.references	I. Azkarate, M. Ayani, J. C. Mugarza, and L. Eciolaza, “Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers,” Appl. Sci., vol. 11, no. 15, p. 7161, Aug. 2021
dc.relation.references	I. Vergara, “Modelado de sistemas físicos a través de Redes de Petri para evaluar propiedades en diagnóstico de fallas,” 2014.
dc.relation.references	Inacap. Neumática industrial. 1ª Edición. Ed.: INACAP Capacitación. Revisión N°0, mayo, Industrial, especialidad máquinas y estructuras. Universidad Carlos III de Madrid. Departamento de Ingeniería Mecánica. Curso 2006/2007.134p. Inglés. Ed. Atlas Copco S.A.E. Madrid, España. Redacción y tipografía: Technical Writing AB, Handen
dc.relation.references	Instituto de formación profesional ―SatafiIII (Getafe). Curso de electroneumática
dc.relation.references	J. Mauricio, O. Marulanda, J. David, and P. Martínez, “Registro de variables de proceso de una línea ensambladora de motocicletas empleando plc e interfaz hmi.”
dc.relation.references	J. Zhao, Z. Chen, and Z. Liu, “Modeling and analysis of colored petri net based on the semi-tensor product of matrices,” Sci. China Inf. Sci., vol. 61, no. 1, Jan. 2018
dc.relation.references	Jensen K, 1994, An Introduction to the Theorical Aspects of Coloured Petri Nets, En J.W. de Bakker, W.P. de Roever y G. Rozenberg (Eds.), A Decade of Concurrency, [LNCS 803], pp.230-272, Springer-Verlag, Germany. Jensen K, 1998, An Introduction to the Practical Use of Coloured Petri Nets, En W. Reising, G, Rozenberg (Eds.), Lectures on Petri Nets II, [LNCS 1492], pp.237-292, Springer-Verlag, Germany
dc.relation.references	Jensen K, 2000, Petri Nets 2000: Practical Use of Highlevel Petri Nets, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus
dc.relation.references	L. A. Martínez, “Metodología para la definición de tareas de mantenimiento basado en confiabilidad, condición y riesgo aplicada a equipos del sistema de transmisión nacional,” Tesis, p. 92, 2014
dc.relation.references	L. K. Carvalho, M. V. Moreira, and J. C. Basilio, “Diagnosability of intermittent sensor faults in discrete event systems,” Automática, vol. 79, pp. 315–325, 2017
dc.relation.references	L. Murillo Soto, “Simulación de un sistema de manufactura flexible con redes de Petri coloreadas,” Tecnol. en Marcha, vol. 23, no. 1, pp. 47–62, 2010.
dc.relation.references	L. Murillo, “Redes de Petri: Modelado e implementación de algoritmos para autómatas programables,” Tecnol. en Marcha, vol. 21, no. 4, pp. 102–125, 2008
dc.relation.references	arsen KG, Nilsen M y Thiagarajan PS, 2000, Petri Nets 2000: Timed and Hybrid Automata, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark. Manson PR, 1988, Petri net theory: a survey, Technical Report UCAM-CL-TR-139, Computer Laboratory, University of Cambridge, UK
dc.relation.references	M. Á. Ramírez Alcaraz, “Modelización y programación de una célula de control flexible mediante el empleo de Redes de Petri,” 2010.
dc.relation.references	M. Á. Ramírez Alcaraz, “Modelización y programación de una célula de control flexible mediante el empleo de Redes de Petri,” Universitat Politècnica de Catalunya, 2010.
dc.relation.references	M. Bourcerie and J. Y. Morel, “Algebraically structured colored Petri nets to model sequential processes,” IEEE Trans. Syst. Man, Cybern. Part B Cybern., vol. 27, no. 4, pp. 681–686, 1997
dc.relation.references	M. de usuario, descripción técnica HAS-200, 1.1. España: Smc international training, 2004.
dc.relation.references	M. E. Cambronero, H. Macia, V. Valero, and L. Orozco-Barbosa, “Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets,” IEEE Access, vol. 6, pp. 27356–27372, May 2018.
dc.relation.references	M. Hernández Cely, F. Leal, and J. López, “Modelado e implementación de un sistema automático de detección y diagnóstico de fallas basado en redes de Petri para el proceso hogar en la generación de vapor.,” Sci. Tech., vol. 18, no. 4, pp. 599–605, 2013
dc.relation.references	M. M. Mansour, M. A. A. Wahab, and W. M. Soliman, “Petri nets for fault diagnosis of large power generation station,” Ain Shams Engineering Journal, vol. 4, no. 4. Ain Shams University, pp. 831–842, 01-Dec-2013.
dc.relation.references	M. P. Cabasino, A. Giua, and C. Seatzu, “Fault detection for discrete event systems using Petri nets with unobservable transitions,” Automática, vol. 46, no. 9, pp. 1531–1539, Sep. 2010.
dc.relation.references	Manual de estudio. Edición de 1971. Festo Didactic. 244 p. Referencia biblioteca UCIIIM: L/S
dc.relation.references	Mortensen KO, 2000, Petri Nets 2000: Tool Demonstrations, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark.
dc.relation.references	MÜLLER, R. Pneumatics. Theory and Applications. Ed. Robert Bosch GMBH Automation Technology
dc.relation.references	Murata T, 1989, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No. 4, pp. 541- 580. Peterson JL, 1981, Petri Net Theory and The Modeling of Systems, Prentice-Hall, Inc, USA
dc.relation.references	NORGREN. Catálogos Norgren 2010. Obtenidos de la página web de NORGREN e introducidos en Peromarta, L. y Castejón, C. Apuntes asignatura “Elementos de máquinas”. Ingeniería
dc.relation.references	O. Micolini, M. Cebollada, M. Eschoyez, L. O. Ventre, and M. Schild, “Ecuación de estado generalizada para redes de Petri no autónomas y con distintos tipos de arcos,” pp. 873–882, 2016
dc.relation.references	P. A. Ponsa and vilanova A. Ramon, Automatización de procesos mediante la guía Gemma, UPC., vol. 1. Barcelona: UPC, 2005.
dc.relation.references	P. Kumar and R. Gupta, “Dependency modeling of a SOA based system through colored Petri Nets,” J. Comput. Inf. Technol., vol. 24, no. 3, pp. 253–269, 2016
dc.relation.references	P. Sun, P. Bon, and S. Collart-Dutilleul, “A joint development of coloured petri nets and the B method in critical systems,” J. Univers. Comput. Sci., vol. 21, no. 12, pp. 1654– 1683, 2015
dc.relation.references	Petri CA, 1962, Kommunikation mit Automaten, Bonn: 58 Castellanos Revista Ciencia e Ingeniería. Vol. 27, No. 2, abril-julio, 2006 Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, también traducido al inglés, Communication with Automata, 2nd Edition, New York: Griffiss Air Force Base, Technical Report RADC-TR-65-377, Vol.1, Suppl. 1, 1966. Petri Nets World, (http://www,informatik,uni-hamburg,de / TGI/PetriNets/)
dc.relation.references	Pezzé M y Shatz SM, 2000, Petri Nets 2000: Software Engineering and Petri Nets, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark. Reijers HA, 2002, Design and control of workflow processes: business process management for the service industry, Tesis de Doctorado, Eindhoven University of Technology, The Nederlands
dc.relation.references	R. Ingaramo, S. Gangi, D. Pontelli, and J. Sastre, “Mantenimiento Centrado en la Confiabilidad: Ejemplo de Aplicación en una Industria Farmacéutica,” pp. 1–9.
dc.relation.references	Reza. Ed. McGraw-Hill. 215p. ISBN 968-451-846-3 Rivera C, 2000, Utilización de redes de Petri para la elaboración de una interfaz de usuario, Tesis de maestría, Universidad Michoacana de San Nicolás de Hidalgo,
dc.relation.references	Roldán Viloria. J. Neumática, hidráulica y electricidad aplicada. Ed. Thompson ParaninfoAalst W van der, 1994, Putting High-Level Petri Nets to Work in Industry, Journal of Computers in Industry, Vol. 25, No.1, pp. 45-54.
dc.relation.references	S. Añaños Martínez, “Modelado y análisis de un sistema de fabricación mediante Redes de Petri Coloreadas,” 2004
dc.relation.references	S. Añaños Martínez, “Modelado y análisis de un sistema de fabricación mediante redes de Petri coloreadas,” 2004.
dc.relation.references	S. Mancer and H. Bennoui, “Coloured Petri Nets Based Diagnosis on Causal Models.”
dc.relation.references	S. Tarantino Alvarado, Rocco; Aranguren Zambrano, “Maintenance Plan Applied To Instrumentation of Industrial High Pressure Boilers,” Rev. Colomb. Inenieria, vol. 1, no. 5, pp. 1692–7257, 2005.
dc.relation.references	SMC. Catálogos SMC 2010. Obtenidos de la página web de SMC e introducidos en el contenido del Cdrom adjunto al trabajo. Suecia. ©Atlas Copco, 1979. Depósito legal: M-28090/79 U.P.I.I.C.S.A, México D.F., 2001.
dc.relation.references	Valk R, 2003, Essential Features of Petri Nets, En C. Girault y R. Valk (Eds.), Petri Nets for Systems Engineering, A Guide to Modeling, Verification, and Applications, pp. 9-28, Springer-Verlag, Germany. Winskel G, 1986, Petri nets, algebras and morphisms, Technical Report UCAM-CL-TR-79, Computer Laboratory, University of Cambridge, UK
dc.rights.accessrights	info:eu-repo/semantics/openAccess
dc.rights.creativecommons	Atribución-NoComercial-CompartirIgual 4.0 Internacional (CC BY-NC-SA 4.0)
dc.rights.uri	https://creativecommons.org/licenses/by-nc-sa/4.0/
dc.subject.proposal	Modelado de sistemas neumáticos	spa
dc.subject.proposal	Modelado electro neumáticos redes de Petri coloreadas.	spa
dc.subject.proposal	Modeling of pneumatic systems
dc.subject.proposal	Modeling of electropneu- matic systems
dc.subject.proposal	Modeling of colored Petri nets.
dc.title	Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas	spa
dc.type	Libro
dc.type.coar	http://purl.org/coar/resource_type/c_2f33
dc.type.content	Text
dc.type.driver	info:eu-repo/semantics/book
dc.type.version	info:eu-repo/semantics/publishedVersion
dspace.entity.type	Publication
oaire.accessrights	http://purl.org/coar/access_right/c_abf2
oaire.version	http://purl.org/coar/version/c_ab4af688f83e57aa
person.identifier.orcid	0000-0002-7296-8761
person.identifier.orcid	0000-0002-3801-6943
person.identifier.orcid	0000-0002-4304-2791
relation.isAuthorOfPublication	4ac21657-8f62-4880-9f7f-5ad0486148f1
relation.isAuthorOfPublication	cb70b285-ca01-4994-bff5-f589212ac759
relation.isAuthorOfPublication	14d8cb3b-1219-416b-b7a4-29c53b4f7e20
relation.isAuthorOfPublication.latestForDiscovery	4ac21657-8f62-4880-9f7f-5ad0486148f1