Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas
Incluye índice de tablas y figuras
- Autores:
-
Pinto Molina, Gairlis
Socarras Bertiz, Carlos Alberto
Moya Camacho, Fabio Orlando
- Tipo de recurso:
- Book
- Fecha de publicación:
- 2022
- Institución:
- Universidad de la Guajira
- Repositorio:
- Repositorio Uniguajira
- Idioma:
- spa
- OAI Identifier:
- oai:repositoryinst.uniguajira.edu.co:uniguajira/1139
- Acceso en línea:
- https://repositoryinst.uniguajira.edu.co/handle/uniguajira/1139
- Palabra clave:
- Modelado de sistemas neumáticos
Modelado electro neumáticos redes de Petri coloreadas.
Modeling of pneumatic systems
Modeling of electropneu- matic systems
Modeling of colored Petri nets.
- Rights
- openAccess
- License
- https://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
Uniguajra2_9865dce854da6962c3d32b9fd44ae16c |
|---|---|
| oai_identifier_str |
oai:repositoryinst.uniguajira.edu.co:uniguajira/1139 |
| network_acronym_str |
Uniguajra2 |
| network_name_str |
Repositorio Uniguajira |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas |
| title |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas |
| spellingShingle |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas Modelado de sistemas neumáticos Modelado electro neumáticos redes de Petri coloreadas. Modeling of pneumatic systems Modeling of electropneu- matic systems Modeling of colored Petri nets. |
| title_short |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas |
| title_full |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas |
| title_fullStr |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas |
| title_full_unstemmed |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas |
| title_sort |
Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadas |
| dc.creator.fl_str_mv |
Pinto Molina, Gairlis Socarras Bertiz, Carlos Alberto Moya Camacho, Fabio Orlando |
| dc.contributor.author.none.fl_str_mv |
Pinto Molina, Gairlis Socarras Bertiz, Carlos Alberto Moya Camacho, Fabio Orlando |
| dc.subject.proposal.spa.fl_str_mv |
Modelado de sistemas neumáticos Modelado electro neumáticos redes de Petri coloreadas. |
| topic |
Modelado de sistemas neumáticos Modelado electro neumáticos redes de Petri coloreadas. Modeling of pneumatic systems Modeling of electropneu- matic systems Modeling of colored Petri nets. |
| dc.subject.proposal.none.fl_str_mv |
Modeling of pneumatic systems Modeling of electropneu- matic systems Modeling of colored Petri nets. |
| description |
Incluye índice de tablas y figuras |
| publishDate |
2022 |
| dc.date.issued.none.fl_str_mv |
2022 |
| dc.date.accessioned.none.fl_str_mv |
2024-11-01T22:39:49Z |
| dc.date.available.none.fl_str_mv |
2024-11-01T22:39:49Z |
| dc.type.none.fl_str_mv |
Libro |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_2f33 |
| dc.type.content.none.fl_str_mv |
Text |
| dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/book |
| format |
http://purl.org/coar/resource_type/c_2f33 |
| dc.identifier.isbn.none.fl_str_mv |
978-628-7581-99-9 |
| dc.identifier.uri.none.fl_str_mv |
https://repositoryinst.uniguajira.edu.co/handle/uniguajira/1139 |
| identifier_str_mv |
978-628-7581-99-9 |
| url |
https://repositoryinst.uniguajira.edu.co/handle/uniguajira/1139 |
| dc.language.iso.none.fl_str_mv |
spa |
| language |
spa |
| dc.relation.references.none.fl_str_mv |
Aalst W van der y Hee K van, 2002, Workflow Management, Models, Methods, and Systems, MIT Press, USA A. Correcher Salvador and M. Sanjuan Verdu, “Diagnóstico distribuido mediante el método de anidamiento latente de fallos usando RdPC,” 2011 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. 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 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 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 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 Aalst W van der y Hee K van, 2002, Workflow Management, Models, Methods, and Systems, MIT Press, USA Allen-Bradley, “Manual del usuario de los controladores CompactLogix 1769,” p. 154, 2013 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 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 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/) Brams GW, 1986a, Las Redes de Petri, teoría y práctica, Tomo 1, Teoría y análisis, Masson, S.A. Barcelona Brams GW, 1986b, Las Redes de Petri, Teoría y práctica, Tomo 1, Modelización y aplicaciones, Masson, S.A. Barcelona C. G. Cassandras and S. Lafortune, Introduction to discrete event systems. Springer US, 2008. 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 C. Seatzu, “Fault diagnosis of discrete event systems using Petri nets,” CEUR Workshop Proc., vol. 1256, no. July, pp. 12–15, 2014. Čapek J, 2001, Petri Net Simulation of Non-deterministic MAC Layers of Computer Communication Networks, Tesis de Doctorado, Czech Technical University, Czech Republic 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 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. Crane. Flujo de fluidos en válvulas, accesorios y tuberías. Vafilsa S.A (trad.) Revisión: Clemente 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 . Mariela Muñoz Añasco and A. Correcher Salvador, “Identificación y diagnóstico de fallos en sistemas de eventos discretos estocásticos.,” 2015. 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. Deppert W. / K. Stoll. Aplicaciones de neumática. Ed. Marcombo, 1991. España, Barcelona. 162 p. Deppert, W. y STOLL, K. Dispositivos neumáticos: Introducción y fundamentos. Cayetano Cabrera 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. 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. F. A. Kristjanpoller Rodríguez, “Propuesta de herramientas basadas en fiabilidad para el modelado de sistemas productivos complejo,” p. 1, 2018. F. Javier and B. Navarro, “Tesis maestría - 2013 - Modelado y desarrollo de automatismos por medio de la red de Petri,” 2013. Festo Didactic, Iniciación al personal de montaje y mantenimiento. Manual de estudio 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 G. Metodolog, G. En, and P. Appliqu, “Modos de marcha y parada La guía Gemma, contenido del tema,” pp. 1–20 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 Getafe, 1996. (Descatalogado) 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 H. Dhouibi, M. Bochra, M. Hassani, and Z. Simeu Abazi, “Diagnosis of hybrid systems through Observers and Timed Automata,” 2014, p. 10 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 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 I. Vergara, “Modelado de sistemas físicos a través de Redes de Petri para evaluar propiedades en diagnóstico de fallas,” 2014. 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 Instituto de formación profesional ―SatafiIII (Getafe). Curso de electroneumática 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.” 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 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 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 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 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 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. 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 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 M. Á. Ramírez Alcaraz, “Modelización y programación de una célula de control flexible mediante el empleo de Redes de Petri,” 2010. 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. 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 M. de usuario, descripción técnica HAS-200, 1.1. España: Smc international training, 2004. 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. 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 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. 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. Manual de estudio. Edición de 1971. Festo Didactic. 244 p. Referencia biblioteca UCIIIM: L/S Mortensen KO, 2000, Petri Nets 2000: Tool Demonstrations, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark. MÜLLER, R. Pneumatics. Theory and Applications. Ed. Robert Bosch GMBH Automation Technology 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 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 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 P. A. Ponsa and vilanova A. Ramon, Automatización de procesos mediante la guía Gemma, UPC., vol. 1. Barcelona: UPC, 2005. 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 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 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/) 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 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. 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, 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. S. Añaños Martínez, “Modelado y análisis de un sistema de fabricación mediante Redes de Petri Coloreadas,” 2004 S. Añaños Martínez, “Modelado y análisis de un sistema de fabricación mediante redes de Petri coloreadas,” 2004. S. Mancer and H. Bennoui, “Coloured Petri Nets Based Diagnosis on Causal Models.” 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. 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. 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.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.none.fl_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.creativecommons.none.fl_str_mv |
Atribución-NoComercial-CompartirIgual 4.0 Internacional (CC BY-NC-SA 4.0) |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ Atribución-NoComercial-CompartirIgual 4.0 Internacional (CC BY-NC-SA 4.0) http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.none.fl_str_mv |
85 páginas |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.coverage.spatial.none.fl_str_mv |
Departamento de La Guajira |
| dc.publisher.none.fl_str_mv |
Universidad de La Guajira |
| dc.publisher.place.none.fl_str_mv |
Distrito Especial, Turistico y Cultural de Riohacha |
| publisher.none.fl_str_mv |
Universidad de La Guajira |
| institution |
Universidad de la Guajira |
| bitstream.url.fl_str_mv |
https://repositoryinst.uniguajira.edu.co/bitstreams/7dfe8bfa-b47b-4c06-827a-17ff14d33971/download https://repositoryinst.uniguajira.edu.co/bitstreams/b65e5853-b9f3-4591-84b4-052af38713ce/download https://repositoryinst.uniguajira.edu.co/bitstreams/1abf819b-a6d0-46f6-a97e-3f0640067c53/download https://repositoryinst.uniguajira.edu.co/bitstreams/a11263c1-1d65-4e96-9719-570d08f51264/download |
| bitstream.checksum.fl_str_mv |
73a5432e0b76442b22b026844140d683 01a5574fd9d9c9971cea9900283d483a 20d957441c69f6f71a5c8ef7b608d261 685d2d005d3cfff7bd71966931a7b0e9 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Biblioteca Digital Universidad de la Guajira |
| repository.mail.fl_str_mv |
repositorio@uniguajira.edu.co |
| _version_ |
1828200965786828800 |
| spelling |
Pinto Molina, Gairlisvirtual::243-1Socarras Bertiz, Carlos Albertovirtual::244-1Moya Camacho, Fabio Orlandovirtual::245-1Departamento de La Guajira2024-11-01T22:39:49Z2024-11-01T22:39:49Z2022978-628-7581-99-9https://repositoryinst.uniguajira.edu.co/handle/uniguajira/1139Incluye índice de tablas y figurasEste 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 sobreThe 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 behaviorIntroducció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áficasContiene imágenes a colorPrimera edición85 páginasapplication/pdfspaUniversidad de La GuajiraDistrito Especial, Turistico y Cultural de Riohachahttps://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccessAtribución-NoComercial-CompartirIgual 4.0 Internacional (CC BY-NC-SA 4.0)http://purl.org/coar/access_right/c_abf2Modelado de sistemas neumáticos y electroneumáticos mediante las redes de Petri coloreadasLibrohttp://purl.org/coar/resource_type/c_2f33Textinfo:eu-repo/semantics/bookhttp://purl.org/coar/version/c_970fb48d4fbd8a85Aalst W van der y Hee K van, 2002, Workflow Management, Models, Methods, and Systems, MIT Press, USAA. Correcher Salvador and M. Sanjuan Verdu, “Diagnóstico distribuido mediante el método de anidamiento latente de fallos usando RdPC,” 2011A. 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.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. 2017A. 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, 2015A. 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, 2012A. 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, 2003Aalst W van der y Hee K van, 2002, Workflow Management, Models, Methods, and Systems, MIT Press, USAAllen-Bradley, “Manual del usuario de los controladores CompactLogix 1769,” p. 154, 2013Anisimov 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-319ATLAS 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. ItalyBernardinello 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/)Brams GW, 1986a, Las Redes de Petri, teoría y práctica, Tomo 1, Teoría y análisis, Masson, S.A. BarcelonaBrams GW, 1986b, Las Redes de Petri, Teoría y práctica, Tomo 1, Modelización y aplicaciones, Masson, S.A. BarcelonaC. G. Cassandras and S. Lafortune, Introduction to discrete event systems. Springer US, 2008.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. 2012C. Seatzu, “Fault diagnosis of discrete event systems using Petri nets,” CEUR Workshop Proc., vol. 1256, no. July, pp. 12–15, 2014.Čapek J, 2001, Petri Net Simulation of Non-deterministic MAC Layers of Computer Communication Networks, Tesis de Doctorado, Czech Technical University, Czech RepublicColom 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, GermanyCortadella 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.Crane. Flujo de fluidos en válvulas, accesorios y tuberías. Vafilsa S.A (trad.) Revisión: ClementeD. 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. Mariela Muñoz Añasco and A. Correcher Salvador, “Identificación y diagnóstico de fallos en sistemas de eventos discretos estocásticos.,” 2015.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.Deppert W. / K. Stoll. Aplicaciones de neumática. Ed. Marcombo, 1991. España, Barcelona. 162 p.Deppert, W. y STOLL, K. Dispositivos neumáticos: Introducción y fundamentos. Cayetano CabreraDivision 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.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.F. A. Kristjanpoller Rodríguez, “Propuesta de herramientas basadas en fiabilidad para el modelado de sistemas productivos complejo,” p. 1, 2018.F. Javier and B. Navarro, “Tesis maestría - 2013 - Modelado y desarrollo de automatismos por medio de la red de Petri,” 2013.Festo Didactic, Iniciación al personal de montaje y mantenimiento. Manual de estudioFesto 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, ItalyG. Metodolog, G. En, and P. Appliqu, “Modos de marcha y parada La guía Gemma, contenido del tema,” pp. 1–20G. 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. 2018Getafe, 1996. (Descatalogado)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, GermanyH. Dhouibi, M. Bochra, M. Hassani, and Z. Simeu Abazi, “Diagnosis of hybrid systems through Observers and Timed Automata,” 2014, p. 10H. 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, 2016I. 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. 2021I. Vergara, “Modelado de sistemas físicos a través de Redes de Petri para evaluar propiedades en diagnóstico de fallas,” 2014.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, HandenInstituto de formación profesional ―SatafiIII (Getafe). Curso de electroneumáticaJ. 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.”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. 2018Jensen 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, GermanyJensen K, 2000, Petri Nets 2000: Practical Use of Highlevel Petri Nets, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, AarhusL. 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, 2014L. 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, 2017L. 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.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, 2008arsen 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, UKM. Á. Ramírez Alcaraz, “Modelización y programación de una célula de control flexible mediante el empleo de Redes de Petri,” 2010.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.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, 1997M. de usuario, descripción técnica HAS-200, 1.1. España: Smc international training, 2004.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.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, 2013M. 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.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.Manual de estudio. Edición de 1971. Festo Didactic. 244 p. Referencia biblioteca UCIIIM: L/SMortensen KO, 2000, Petri Nets 2000: Tool Demonstrations, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark.MÜLLER, R. Pneumatics. Theory and Applications. Ed. Robert Bosch GMBH Automation TechnologyMurata 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, USANORGREN. 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íaO. 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, 2016P. A. Ponsa and vilanova A. Ramon, Automatización de procesos mediante la guía Gemma, UPC., vol. 1. Barcelona: UPC, 2005.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, 2016P. 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, 2015Petri 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/)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 NederlandsR. 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.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,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.S. Añaños Martínez, “Modelado y análisis de un sistema de fabricación mediante Redes de Petri Coloreadas,” 2004S. Añaños Martínez, “Modelado y análisis de un sistema de fabricación mediante redes de Petri coloreadas,” 2004.S. Mancer and H. Bennoui, “Coloured Petri Nets Based Diagnosis on Causal Models.”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.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.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, UKModelado de sistemas neumáticosModelado electro neumáticos redes de Petri coloreadas.Modeling of pneumatic systemsModeling of electropneu- matic systemsModeling of colored Petri nets.Publication4ac21657-8f62-4880-9f7f-5ad0486148f1virtual::243-1cb70b285-ca01-4994-bff5-f589212ac759virtual::244-114d8cb3b-1219-416b-b7a4-29c53b4f7e20virtual::245-14ac21657-8f62-4880-9f7f-5ad0486148f1virtual::243-1cb70b285-ca01-4994-bff5-f589212ac759virtual::244-114d8cb3b-1219-416b-b7a4-29c53b4f7e20virtual::245-10000-0002-7296-8761virtual::243-10000-0002-3801-6943virtual::244-10000-0002-4304-2791virtual::245-1LICENSElicense.txtlicense.txttext/plain; charset=utf-815543https://repositoryinst.uniguajira.edu.co/bitstreams/7dfe8bfa-b47b-4c06-827a-17ff14d33971/download73a5432e0b76442b22b026844140d683MD51ORIGINAL157. Modelado de sistemas neumaticos y electroneumaticos -FINAL-.pdf157. Modelado de sistemas neumaticos y electroneumaticos -FINAL-.pdfapplication/pdf3283388https://repositoryinst.uniguajira.edu.co/bitstreams/b65e5853-b9f3-4591-84b4-052af38713ce/download01a5574fd9d9c9971cea9900283d483aMD52TEXT157. Modelado de sistemas neumaticos y electroneumaticos -FINAL-.pdf.txt157. Modelado de sistemas neumaticos y electroneumaticos -FINAL-.pdf.txtExtracted texttext/plain101941https://repositoryinst.uniguajira.edu.co/bitstreams/1abf819b-a6d0-46f6-a97e-3f0640067c53/download20d957441c69f6f71a5c8ef7b608d261MD53THUMBNAIL157. Modelado de sistemas neumaticos y electroneumaticos -FINAL-.pdf.jpg157. Modelado de sistemas neumaticos y electroneumaticos -FINAL-.pdf.jpgGenerated Thumbnailimage/jpeg12744https://repositoryinst.uniguajira.edu.co/bitstreams/a11263c1-1d65-4e96-9719-570d08f51264/download685d2d005d3cfff7bd71966931a7b0e9MD54uniguajira/1139oai:repositoryinst.uniguajira.edu.co:uniguajira/11392024-11-02 03:00:16.374https://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositoryinst.uniguajira.edu.coBiblioteca Digital Universidad de la Guajirarepositorio@uniguajira.edu.coPHA+TEEgT0JSQSAoVEFMIFkgQ09NTyBTRSBERUZJTkUgTcOBUyBBREVMQU5URSkgU0UgT1RPUkdBIEJBSk8gTE9TIFRFUk1JTk9TIERFIEVTVEEgTElDRU5DSUEgUMOaQkxJQ0EgREUgQ1JFQVRJVkUgQ09NTU9OUyAo4oCcTFBDQ+KAnSBPIOKAnExJQ0VOQ0lB4oCdKS4gTEEgT0JSQSBFU1TDgSBQUk9URUdJREEgUE9SIERFUkVDSE9TIERFIEFVVE9SIFkvVSBPVFJBUyBMRVlFUyBBUExJQ0FCTEVTLiBRVUVEQSBQUk9ISUJJRE8gQ1VBTFFVSUVSIFVTTyBRVUUgU0UgSEFHQSBERSBMQSBPQlJBIFFVRSBOTyBDVUVOVEUgQ09OIExBIEFVVE9SSVpBQ0nDk04gUEVSVElORU5URSBERSBDT05GT1JNSURBRCBDT04gTE9TIFTDiVJNSU5PUyBERSBFU1RBIExJQ0VOQ0lBIFkgREUgTEEgTEVZIERFIERFUkVDSE8gREUgQVVUT1IuPC9wPgo8cD5NRURJQU5URSBFTCBFSkVSQ0lDSU8gREUgQ1VBTFFVSUVSQSBERSBMT1MgREVSRUNIT1MgUVVFIFNFIE9UT1JHQU4gRU4gRVNUQSBMSUNFTkNJQSwgVVNURUQgQUNFUFRBIFkgQUNVRVJEQSBRVUVEQVIgT0JMSUdBRE8gRU4gTE9TIFRFUk1JTk9TIFFVRSBTRSBTRcORQUxBTiBFTiBFTExBLiBFTCBMSUNFTkNJQU5URSBDT05DRURFIEEgVVNURUQgTE9TIERFUkVDSE9TIENPTlRFTklET1MgRU4gRVNUQSBMSUNFTkNJQSBDT05ESUNJT05BRE9TIEEgTEEgQUNFUFRBQ0nDk04gREUgU1VTIFRFUk1JTk9TIFkgQ09ORElDSU9ORVMuPC9wPgo8b2wgdHlwZT0iMSI+CiAgPGxpPgogICAgRGVmaW5pY2lvbmVzCiAgICA8b2wgdHlwZT1hPgogICAgICA8bGk+T2JyYSBDb2xlY3RpdmEgZXMgdW5hIG9icmEsIHRhbCBjb21vIHVuYSBwdWJsaWNhY2nDs24gcGVyacOzZGljYSwgdW5hIGFudG9sb2fDrWEsIG8gdW5hIGVuY2ljbG9wZWRpYSwgZW4gbGEgcXVlIGxhIG9icmEgZW4gc3UgdG90YWxpZGFkLCBzaW4gbW9kaWZpY2FjacOzbiBhbGd1bmEsIGp1bnRvIGNvbiB1biBncnVwbyBkZSBvdHJhcyBjb250cmlidWNpb25lcyBxdWUgY29uc3RpdHV5ZW4gb2JyYXMgc2VwYXJhZGFzIGUgaW5kZXBlbmRpZW50ZXMgZW4gc8OtIG1pc21hcywgc2UgaW50ZWdyYW4gZW4gdW4gdG9kbyBjb2xlY3Rpdm8uIFVuYSBPYnJhIHF1ZSBjb25zdGl0dXllIHVuYSBvYnJhIGNvbGVjdGl2YSBubyBzZSBjb25zaWRlcmFyw6EgdW5hIE9icmEgRGVyaXZhZGEgKGNvbW8gc2UgZGVmaW5lIGFiYWpvKSBwYXJhIGxvcyBwcm9ww7NzaXRvcyBkZSBlc3RhIGxpY2VuY2lhLiBhcXVlbGxhIHByb2R1Y2lkYSBwb3IgdW4gZ3J1cG8gZGUgYXV0b3JlcywgZW4gcXVlIGxhIE9icmEgc2UgZW5jdWVudHJhIHNpbiBtb2RpZmljYWNpb25lcywganVudG8gY29uIHVuYSBjaWVydGEgY2FudGlkYWQgZGUgb3RyYXMgY29udHJpYnVjaW9uZXMsIHF1ZSBjb25zdGl0dXllbiBlbiBzw60gbWlzbW9zIHRyYWJham9zIHNlcGFyYWRvcyBlIGluZGVwZW5kaWVudGVzLCBxdWUgc29uIGludGVncmFkb3MgYWwgdG9kbyBjb2xlY3Rpdm8sIHRhbGVzIGNvbW8gcHVibGljYWNpb25lcyBwZXJpw7NkaWNhcywgYW50b2xvZ8OtYXMgbyBlbmNpY2xvcGVkaWFzLjwvbGk+CiAgICAgIDxsaT5PYnJhIERlcml2YWRhIHNpZ25pZmljYSB1bmEgb2JyYSBiYXNhZGEgZW4gbGEgb2JyYSBvYmpldG8gZGUgZXN0YSBsaWNlbmNpYSBvIGVuIMOpc3RhIHkgb3RyYXMgb2JyYXMgcHJlZXhpc3RlbnRlcywgdGFsZXMgY29tbyB0cmFkdWNjaW9uZXMsIGFycmVnbG9zIG11c2ljYWxlcywgZHJhbWF0aXphY2lvbmVzLCDigJxmaWNjaW9uYWxpemFjaW9uZXPigJ0sIHZlcnNpb25lcyBwYXJhIGNpbmUsIOKAnGdyYWJhY2lvbmVzIGRlIHNvbmlkb+KAnSwgcmVwcm9kdWNjaW9uZXMgZGUgYXJ0ZSwgcmVzw7ptZW5lcywgY29uZGVuc2FjaW9uZXMsIG8gY3VhbHF1aWVyIG90cmEgZW4gbGEgcXVlIGxhIG9icmEgcHVlZGEgc2VyIHRyYW5zZm9ybWFkYSwgY2FtYmlhZGEgbyBhZGFwdGFkYSwgZXhjZXB0byBhcXVlbGxhcyBxdWUgY29uc3RpdHV5YW4gdW5hIG9icmEgY29sZWN0aXZhLCBsYXMgcXVlIG5vIHNlcsOhbiBjb25zaWRlcmFkYXMgdW5hIG9icmEgZGVyaXZhZGEgcGFyYSBlZmVjdG9zIGRlIGVzdGEgbGljZW5jaWEuIChQYXJhIGV2aXRhciBkdWRhcywgZW4gZWwgY2FzbyBkZSBxdWUgbGEgT2JyYSBzZWEgdW5hIGNvbXBvc2ljacOzbiBtdXNpY2FsIG8gdW5hIGdyYWJhY2nDs24gc29ub3JhLCBwYXJhIGxvcyBlZmVjdG9zIGRlIGVzdGEgTGljZW5jaWEgbGEgc2luY3Jvbml6YWNpw7NuIHRlbXBvcmFsIGRlIGxhIE9icmEgY29uIHVuYSBpbWFnZW4gZW4gbW92aW1pZW50byBzZSBjb25zaWRlcmFyw6EgdW5hIE9icmEgRGVyaXZhZGEgcGFyYSBsb3MgZmluZXMgZGUgZXN0YSBsaWNlbmNpYSkuPC9saT4KICAgICAgPGxpPkxpY2VuY2lhbnRlLCBlcyBlbCBpbmRpdmlkdW8gbyBsYSBlbnRpZGFkIHRpdHVsYXIgZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yIHF1ZSBvZnJlY2UgbGEgT2JyYSBlbiBjb25mb3JtaWRhZCBjb24gbGFzIGNvbmRpY2lvbmVzIGRlIGVzdGEgTGljZW5jaWEuPC9saT4KICAgICAgPGxpPkF1dG9yIG9yaWdpbmFsLCBlcyBlbCBpbmRpdmlkdW8gcXVlIGNyZcOzIGxhIE9icmEuPC9saT4KICAgICAgPGxpPk9icmEsIGVzIGFxdWVsbGEgb2JyYSBzdXNjZXB0aWJsZSBkZSBwcm90ZWNjacOzbiBwb3IgZWwgcsOpZ2ltZW4gZGUgRGVyZWNobyBkZSBBdXRvciB5IHF1ZSBlcyBvZnJlY2lkYSBlbiBsb3MgdMOpcm1pbm9zIGRlIGVzdGEgbGljZW5jaWE8L2xpPgogICAgICA8bGk+VXN0ZWQsIGVzIGVsIGluZGl2aWR1byBvIGxhIGVudGlkYWQgcXVlIGVqZXJjaXRhIGxvcyBkZXJlY2hvcyBvdG9yZ2Fkb3MgYWwgYW1wYXJvIGRlIGVzdGEgTGljZW5jaWEgeSBxdWUgY29uIGFudGVyaW9yaWRhZCBubyBoYSB2aW9sYWRvIGxhcyBjb25kaWNpb25lcyBkZSBsYSBtaXNtYSByZXNwZWN0byBhIGxhIE9icmEsIG8gcXVlIGhheWEgb2J0ZW5pZG8gYXV0b3JpemFjacOzbiBleHByZXNhIHBvciBwYXJ0ZSBkZWwgTGljZW5jaWFudGUgcGFyYSBlamVyY2VyIGxvcyBkZXJlY2hvcyBhbCBhbXBhcm8gZGUgZXN0YSBMaWNlbmNpYSBwZXNlIGEgdW5hIHZpb2xhY2nDs24gYW50ZXJpb3IuPC9saT4KICAgIDwvb2w+CiAgPC9saT4KICA8YnIvPgogIDxsaT4KICAgIERlcmVjaG9zIGRlIFVzb3MgSG9ucmFkb3MgeSBleGNlcGNpb25lcyBMZWdhbGVzLgogICAgPHA+TmFkYSBlbiBlc3RhIExpY2VuY2lhIHBvZHLDoSBzZXIgaW50ZXJwcmV0YWRvIGNvbW8gdW5hIGRpc21pbnVjacOzbiwgbGltaXRhY2nDs24gbyByZXN0cmljY2nDs24gZGUgbG9zIGRlcmVjaG9zIGRlcml2YWRvcyBkZWwgdXNvIGhvbnJhZG8geSBvdHJhcyBsaW1pdGFjaW9uZXMgbyBleGNlcGNpb25lcyBhIGxvcyBkZXJlY2hvcyBkZWwgYXV0b3IgYmFqbyBlbCByw6lnaW1lbiBsZWdhbCB2aWdlbnRlIG8gZGVyaXZhZG8gZGUgY3VhbHF1aWVyIG90cmEgbm9ybWEgcXVlIHNlIGxlIGFwbGlxdWUuPC9wPgogIDwvbGk+CiAgPGxpPgogICAgQ29uY2VzacOzbiBkZSBsYSBMaWNlbmNpYS4KICAgIDxwPkJham8gbG9zIHTDqXJtaW5vcyB5IGNvbmRpY2lvbmVzIGRlIGVzdGEgTGljZW5jaWEsIGVsIExpY2VuY2lhbnRlIG90b3JnYSBhIFVzdGVkIHVuYSBsaWNlbmNpYSBtdW5kaWFsLCBsaWJyZSBkZSByZWdhbMOtYXMsIG5vIGV4Y2x1c2l2YSB5IHBlcnBldHVhIChkdXJhbnRlIHRvZG8gZWwgcGVyw61vZG8gZGUgdmlnZW5jaWEgZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yKSBwYXJhIGVqZXJjZXIgZXN0b3MgZGVyZWNob3Mgc29icmUgbGEgT2JyYSB0YWwgeSBjb21vIHNlIGluZGljYSBhIGNvbnRpbnVhY2nDs246PC9wPgogICAgPG9sIHR5cGU9ImEiPgogICAgICA8bGk+UmVwcm9kdWNpciBsYSBPYnJhLCBpbmNvcnBvcmFyIGxhIE9icmEgZW4gdW5hIG8gbcOhcyBPYnJhcyBDb2xlY3RpdmFzLCB5IHJlcHJvZHVjaXIgbGEgT2JyYSBpbmNvcnBvcmFkYSBlbiBsYXMgT2JyYXMgQ29sZWN0aXZhcy48L2xpPgogICAgICA8bGk+RGlzdHJpYnVpciBjb3BpYXMgbyBmb25vZ3JhbWFzIGRlIGxhcyBPYnJhcywgZXhoaWJpcmxhcyBww7pibGljYW1lbnRlLCBlamVjdXRhcmxhcyBww7pibGljYW1lbnRlIHkvbyBwb25lcmxhcyBhIGRpc3Bvc2ljacOzbiBww7pibGljYSwgaW5jbHV5w6luZG9sYXMgY29tbyBpbmNvcnBvcmFkYXMgZW4gT2JyYXMgQ29sZWN0aXZhcywgc2Vnw7puIGNvcnJlc3BvbmRhLjwvbGk+CiAgICAgIDxsaT5EaXN0cmlidWlyIGNvcGlhcyBkZSBsYXMgT2JyYXMgRGVyaXZhZGFzIHF1ZSBzZSBnZW5lcmVuLCBleGhpYmlybGFzIHDDumJsaWNhbWVudGUsIGVqZWN1dGFybGFzIHDDumJsaWNhbWVudGUgeS9vIHBvbmVybGFzIGEgZGlzcG9zaWNpw7NuIHDDumJsaWNhLjwvbGk+CiAgICA8L29sPgogICAgPHA+TG9zIGRlcmVjaG9zIG1lbmNpb25hZG9zIGFudGVyaW9ybWVudGUgcHVlZGVuIHNlciBlamVyY2lkb3MgZW4gdG9kb3MgbG9zIG1lZGlvcyB5IGZvcm1hdG9zLCBhY3R1YWxtZW50ZSBjb25vY2lkb3MgbyBxdWUgc2UgaW52ZW50ZW4gZW4gZWwgZnV0dXJvLiBMb3MgZGVyZWNob3MgYW50ZXMgbWVuY2lvbmFkb3MgaW5jbHV5ZW4gZWwgZGVyZWNobyBhIHJlYWxpemFyIGRpY2hhcyBtb2RpZmljYWNpb25lcyBlbiBsYSBtZWRpZGEgcXVlIHNlYW4gdMOpY25pY2FtZW50ZSBuZWNlc2FyaWFzIHBhcmEgZWplcmNlciBsb3MgZGVyZWNob3MgZW4gb3RybyBtZWRpbyBvIGZvcm1hdG9zLCBwZXJvIGRlIG90cmEgbWFuZXJhIHVzdGVkIG5vIGVzdMOhIGF1dG9yaXphZG8gcGFyYSByZWFsaXphciBvYnJhcyBkZXJpdmFkYXMuIFRvZG9zIGxvcyBkZXJlY2hvcyBubyBvdG9yZ2Fkb3MgZXhwcmVzYW1lbnRlIHBvciBlbCBMaWNlbmNpYW50ZSBxdWVkYW4gcG9yIGVzdGUgbWVkaW8gcmVzZXJ2YWRvcywgaW5jbHV5ZW5kbyBwZXJvIHNpbiBsaW1pdGFyc2UgYSBhcXVlbGxvcyBxdWUgc2UgbWVuY2lvbmFuIGVuIGxhcyBzZWNjaW9uZXMgNChkKSB5IDQoZSkuPC9wPgogIDwvbGk+CiAgPGJyLz4KICA8bGk+CiAgICBSZXN0cmljY2lvbmVzLgogICAgPHA+TGEgbGljZW5jaWEgb3RvcmdhZGEgZW4gbGEgYW50ZXJpb3IgU2VjY2nDs24gMyBlc3TDoSBleHByZXNhbWVudGUgc3VqZXRhIHkgbGltaXRhZGEgcG9yIGxhcyBzaWd1aWVudGVzIHJlc3RyaWNjaW9uZXM6PC9wPgogICAgPG9sIHR5cGU9ImEiPgogICAgICA8bGk+VXN0ZWQgcHVlZGUgZGlzdHJpYnVpciwgZXhoaWJpciBww7pibGljYW1lbnRlLCBlamVjdXRhciBww7pibGljYW1lbnRlLCBvIHBvbmVyIGEgZGlzcG9zaWNpw7NuIHDDumJsaWNhIGxhIE9icmEgc8OzbG8gYmFqbyBsYXMgY29uZGljaW9uZXMgZGUgZXN0YSBMaWNlbmNpYSwgeSBVc3RlZCBkZWJlIGluY2x1aXIgdW5hIGNvcGlhIGRlIGVzdGEgbGljZW5jaWEgbyBkZWwgSWRlbnRpZmljYWRvciBVbml2ZXJzYWwgZGUgUmVjdXJzb3MgZGUgbGEgbWlzbWEgY29uIGNhZGEgY29waWEgZGUgbGEgT2JyYSBxdWUgZGlzdHJpYnV5YSwgZXhoaWJhIHDDumJsaWNhbWVudGUsIGVqZWN1dGUgcMO6YmxpY2FtZW50ZSBvIHBvbmdhIGEgZGlzcG9zaWNpw7NuIHDDumJsaWNhLiBObyBlcyBwb3NpYmxlIG9mcmVjZXIgbyBpbXBvbmVyIG5pbmd1bmEgY29uZGljacOzbiBzb2JyZSBsYSBPYnJhIHF1ZSBhbHRlcmUgbyBsaW1pdGUgbGFzIGNvbmRpY2lvbmVzIGRlIGVzdGEgTGljZW5jaWEgbyBlbCBlamVyY2ljaW8gZGUgbG9zIGRlcmVjaG9zIGRlIGxvcyBkZXN0aW5hdGFyaW9zIG90b3JnYWRvcyBlbiBlc3RlIGRvY3VtZW50by4gTm8gZXMgcG9zaWJsZSBzdWJsaWNlbmNpYXIgbGEgT2JyYS4gVXN0ZWQgZGViZSBtYW50ZW5lciBpbnRhY3RvcyB0b2RvcyBsb3MgYXZpc29zIHF1ZSBoYWdhbiByZWZlcmVuY2lhIGEgZXN0YSBMaWNlbmNpYSB5IGEgbGEgY2zDoXVzdWxhIGRlIGxpbWl0YWNpw7NuIGRlIGdhcmFudMOtYXMuIFVzdGVkIG5vIHB1ZWRlIGRpc3RyaWJ1aXIsIGV4aGliaXIgcMO6YmxpY2FtZW50ZSwgZWplY3V0YXIgcMO6YmxpY2FtZW50ZSwgbyBwb25lciBhIGRpc3Bvc2ljacOzbiBww7pibGljYSBsYSBPYnJhIGNvbiBhbGd1bmEgbWVkaWRhIHRlY25vbMOzZ2ljYSBxdWUgY29udHJvbGUgZWwgYWNjZXNvIG8gbGEgdXRpbGl6YWNpw7NuIGRlIGVsbGEgZGUgdW5hIGZvcm1hIHF1ZSBzZWEgaW5jb25zaXN0ZW50ZSBjb24gbGFzIGNvbmRpY2lvbmVzIGRlIGVzdGEgTGljZW5jaWEuIExvIGFudGVyaW9yIHNlIGFwbGljYSBhIGxhIE9icmEgaW5jb3Jwb3JhZGEgYSB1bmEgT2JyYSBDb2xlY3RpdmEsIHBlcm8gZXN0byBubyBleGlnZSBxdWUgbGEgT2JyYSBDb2xlY3RpdmEgYXBhcnRlIGRlIGxhIG9icmEgbWlzbWEgcXVlZGUgc3VqZXRhIGEgbGFzIGNvbmRpY2lvbmVzIGRlIGVzdGEgTGljZW5jaWEuIFNpIFVzdGVkIGNyZWEgdW5hIE9icmEgQ29sZWN0aXZhLCBwcmV2aW8gYXZpc28gZGUgY3VhbHF1aWVyIExpY2VuY2lhbnRlIGRlYmUsIGVuIGxhIG1lZGlkYSBkZSBsbyBwb3NpYmxlLCBlbGltaW5hciBkZSBsYSBPYnJhIENvbGVjdGl2YSBjdWFscXVpZXIgcmVmZXJlbmNpYSBhIGRpY2hvIExpY2VuY2lhbnRlIG8gYWwgQXV0b3IgT3JpZ2luYWwsIHNlZ8O6biBsbyBzb2xpY2l0YWRvIHBvciBlbCBMaWNlbmNpYW50ZSB5IGNvbmZvcm1lIGxvIGV4aWdlIGxhIGNsw6F1c3VsYSA0KGMpLjwvbGk+CiAgICAgIDxsaT5Vc3RlZCBubyBwdWVkZSBlamVyY2VyIG5pbmd1bm8gZGUgbG9zIGRlcmVjaG9zIHF1ZSBsZSBoYW4gc2lkbyBvdG9yZ2Fkb3MgZW4gbGEgU2VjY2nDs24gMyBwcmVjZWRlbnRlIGRlIG1vZG8gcXVlIGVzdMOpbiBwcmluY2lwYWxtZW50ZSBkZXN0aW5hZG9zIG8gZGlyZWN0YW1lbnRlIGRpcmlnaWRvcyBhIGNvbnNlZ3VpciB1biBwcm92ZWNobyBjb21lcmNpYWwgbyB1bmEgY29tcGVuc2FjacOzbiBtb25ldGFyaWEgcHJpdmFkYS4gRWwgaW50ZXJjYW1iaW8gZGUgbGEgT2JyYSBwb3Igb3RyYXMgb2JyYXMgcHJvdGVnaWRhcyBwb3IgZGVyZWNob3MgZGUgYXV0b3IsIHlhIHNlYSBhIHRyYXbDqXMgZGUgdW4gc2lzdGVtYSBwYXJhIGNvbXBhcnRpciBhcmNoaXZvcyBkaWdpdGFsZXMgKGRpZ2l0YWwgZmlsZS1zaGFyaW5nKSBvIGRlIGN1YWxxdWllciBvdHJhIG1hbmVyYSBubyBzZXLDoSBjb25zaWRlcmFkbyBjb21vIGVzdGFyIGRlc3RpbmFkbyBwcmluY2lwYWxtZW50ZSBvIGRpcmlnaWRvIGRpcmVjdGFtZW50ZSBhIGNvbnNlZ3VpciB1biBwcm92ZWNobyBjb21lcmNpYWwgbyB1bmEgY29tcGVuc2FjacOzbiBtb25ldGFyaWEgcHJpdmFkYSwgc2llbXByZSBxdWUgbm8gc2UgcmVhbGljZSB1biBwYWdvIG1lZGlhbnRlIHVuYSBjb21wZW5zYWNpw7NuIG1vbmV0YXJpYSBlbiByZWxhY2nDs24gY29uIGVsIGludGVyY2FtYmlvIGRlIG9icmFzIHByb3RlZ2lkYXMgcG9yIGVsIGRlcmVjaG8gZGUgYXV0b3IuPC9saT4KICAgICAgPGxpPlNpIHVzdGVkIGRpc3RyaWJ1eWUsIGV4aGliZSBww7pibGljYW1lbnRlLCBlamVjdXRhIHDDumJsaWNhbWVudGUgbyBlamVjdXRhIHDDumJsaWNhbWVudGUgZW4gZm9ybWEgZGlnaXRhbCBsYSBPYnJhIG8gY3VhbHF1aWVyIE9icmEgRGVyaXZhZGEgdSBPYnJhIENvbGVjdGl2YSwgVXN0ZWQgZGViZSBtYW50ZW5lciBpbnRhY3RhIHRvZGEgbGEgaW5mb3JtYWNpw7NuIGRlIGRlcmVjaG8gZGUgYXV0b3IgZGUgbGEgT2JyYSB5IHByb3BvcmNpb25hciwgZGUgZm9ybWEgcmF6b25hYmxlIHNlZ8O6biBlbCBtZWRpbyBvIG1hbmVyYSBxdWUgVXN0ZWQgZXN0w6kgdXRpbGl6YW5kbzogKGkpIGVsIG5vbWJyZSBkZWwgQXV0b3IgT3JpZ2luYWwgc2kgZXN0w6EgcHJvdmlzdG8gKG8gc2V1ZMOzbmltbywgc2kgZnVlcmUgYXBsaWNhYmxlKSwgeS9vIChpaSkgZWwgbm9tYnJlIGRlIGxhIHBhcnRlIG8gbGFzIHBhcnRlcyBxdWUgZWwgQXV0b3IgT3JpZ2luYWwgeS9vIGVsIExpY2VuY2lhbnRlIGh1YmllcmVuIGRlc2lnbmFkbyBwYXJhIGxhIGF0cmlidWNpw7NuICh2LmcuLCB1biBpbnN0aXR1dG8gcGF0cm9jaW5hZG9yLCBlZGl0b3JpYWwsIHB1YmxpY2FjacOzbikgZW4gbGEgaW5mb3JtYWNpw7NuIGRlIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZWwgTGljZW5jaWFudGUsIHTDqXJtaW5vcyBkZSBzZXJ2aWNpb3MgbyBkZSBvdHJhcyBmb3JtYXMgcmF6b25hYmxlczsgZWwgdMOtdHVsbyBkZSBsYSBPYnJhIHNpIGVzdMOhIHByb3Zpc3RvOyBlbiBsYSBtZWRpZGEgZGUgbG8gcmF6b25hYmxlbWVudGUgZmFjdGlibGUgeSwgc2kgZXN0w6EgcHJvdmlzdG8sIGVsIElkZW50aWZpY2Fkb3IgVW5pZm9ybWUgZGUgUmVjdXJzb3MgKFVuaWZvcm0gUmVzb3VyY2UgSWRlbnRpZmllcikgcXVlIGVsIExpY2VuY2lhbnRlIGVzcGVjaWZpY2EgcGFyYSBzZXIgYXNvY2lhZG8gY29uIGxhIE9icmEsIHNhbHZvIHF1ZSB0YWwgVVJJIG5vIHNlIHJlZmllcmEgYSBsYSBub3RhIHNvYnJlIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBvIGEgbGEgaW5mb3JtYWNpw7NuIHNvYnJlIGVsIGxpY2VuY2lhbWllbnRvIGRlIGxhIE9icmE7IHkgZW4gZWwgY2FzbyBkZSB1bmEgT2JyYSBEZXJpdmFkYSwgYXRyaWJ1aXIgZWwgY3LDqWRpdG8gaWRlbnRpZmljYW5kbyBlbCB1c28gZGUgbGEgT2JyYSBlbiBsYSBPYnJhIERlcml2YWRhICh2LmcuLCAiVHJhZHVjY2nDs24gRnJhbmNlc2EgZGUgbGEgT2JyYSBkZWwgQXV0b3IgT3JpZ2luYWwsIiBvICJHdWnDs24gQ2luZW1hdG9ncsOhZmljbyBiYXNhZG8gZW4gbGEgT2JyYSBvcmlnaW5hbCBkZWwgQXV0b3IgT3JpZ2luYWwiKS4gVGFsIGNyw6lkaXRvIHB1ZWRlIHNlciBpbXBsZW1lbnRhZG8gZGUgY3VhbHF1aWVyIGZvcm1hIHJhem9uYWJsZTsgZW4gZWwgY2Fzbywgc2luIGVtYmFyZ28sIGRlIE9icmFzIERlcml2YWRhcyB1IE9icmFzIENvbGVjdGl2YXMsIHRhbCBjcsOpZGl0byBhcGFyZWNlcsOhLCBjb21vIG3DrW5pbW8sIGRvbmRlIGFwYXJlY2UgZWwgY3LDqWRpdG8gZGUgY3VhbHF1aWVyIG90cm8gYXV0b3IgY29tcGFyYWJsZSB5IGRlIHVuYSBtYW5lcmEsIGFsIG1lbm9zLCB0YW4gZGVzdGFjYWRhIGNvbW8gZWwgY3LDqWRpdG8gZGUgb3RybyBhdXRvciBjb21wYXJhYmxlLjwvbGk+CiAgICAgIDxsaT4KICAgICAgICBQYXJhIGV2aXRhciB0b2RhIGNvbmZ1c2nDs24sIGVsIExpY2VuY2lhbnRlIGFjbGFyYSBxdWUsIGN1YW5kbyBsYSBvYnJhIGVzIHVuYSBjb21wb3NpY2nDs24gbXVzaWNhbDoKICAgICAgICA8b2wgdHlwZT0iaSI+CiAgICAgICAgICA8bGk+UmVnYWzDrWFzIHBvciBpbnRlcnByZXRhY2nDs24geSBlamVjdWNpw7NuIGJham8gbGljZW5jaWFzIGdlbmVyYWxlcy4gRWwgTGljZW5jaWFudGUgc2UgcmVzZXJ2YSBlbCBkZXJlY2hvIGV4Y2x1c2l2byBkZSBhdXRvcml6YXIgbGEgZWplY3VjacOzbiBww7pibGljYSBvIGxhIGVqZWN1Y2nDs24gcMO6YmxpY2EgZGlnaXRhbCBkZSBsYSBvYnJhIHkgZGUgcmVjb2xlY3Rhciwgc2VhIGluZGl2aWR1YWxtZW50ZSBvIGEgdHJhdsOpcyBkZSB1bmEgc29jaWVkYWQgZGUgZ2VzdGnDs24gY29sZWN0aXZhIGRlIGRlcmVjaG9zIGRlIGF1dG9yIHkgZGVyZWNob3MgY29uZXhvcyAocG9yIGVqZW1wbG8sIFNBWUNPKSwgbGFzIHJlZ2Fsw61hcyBwb3IgbGEgZWplY3VjacOzbiBww7pibGljYSBvIHBvciBsYSBlamVjdWNpw7NuIHDDumJsaWNhIGRpZ2l0YWwgZGUgbGEgb2JyYSAocG9yIGVqZW1wbG8gV2ViY2FzdCkgbGljZW5jaWFkYSBiYWpvIGxpY2VuY2lhcyBnZW5lcmFsZXMsIHNpIGxhIGludGVycHJldGFjacOzbiBvIGVqZWN1Y2nDs24gZGUgbGEgb2JyYSBlc3TDoSBwcmltb3JkaWFsbWVudGUgb3JpZW50YWRhIHBvciBvIGRpcmlnaWRhIGEgbGEgb2J0ZW5jacOzbiBkZSB1bmEgdmVudGFqYSBjb21lcmNpYWwgbyB1bmEgY29tcGVuc2FjacOzbiBtb25ldGFyaWEgcHJpdmFkYS48L2xpPgogICAgICAgICAgPGxpPlJlZ2Fsw61hcyBwb3IgRm9ub2dyYW1hcy4gRWwgTGljZW5jaWFudGUgc2UgcmVzZXJ2YSBlbCBkZXJlY2hvIGV4Y2x1c2l2byBkZSByZWNvbGVjdGFyLCBpbmRpdmlkdWFsbWVudGUgbyBhIHRyYXbDqXMgZGUgdW5hIHNvY2llZGFkIGRlIGdlc3Rpw7NuIGNvbGVjdGl2YSBkZSBkZXJlY2hvcyBkZSBhdXRvciB5IGRlcmVjaG9zIGNvbmV4b3MgKHBvciBlamVtcGxvLCBsb3MgY29uc2FncmFkb3MgcG9yIGxhIFNBWUNPKSwgdW5hIGFnZW5jaWEgZGUgZGVyZWNob3MgbXVzaWNhbGVzIG8gYWxnw7puIGFnZW50ZSBkZXNpZ25hZG8sIGxhcyByZWdhbMOtYXMgcG9yIGN1YWxxdWllciBmb25vZ3JhbWEgcXVlIFVzdGVkIGNyZWUgYSBwYXJ0aXIgZGUgbGEgb2JyYSAo4oCcdmVyc2nDs24gY292ZXLigJ0pIHkgZGlzdHJpYnV5YSwgZW4gbG9zIHTDqXJtaW5vcyBkZWwgcsOpZ2ltZW4gZGUgZGVyZWNob3MgZGUgYXV0b3IsIHNpIGxhIGNyZWFjacOzbiBvIGRpc3RyaWJ1Y2nDs24gZGUgZXNhIHZlcnNpw7NuIGNvdmVyIGVzdMOhIHByaW1vcmRpYWxtZW50ZSBkZXN0aW5hZGEgbyBkaXJpZ2lkYSBhIG9idGVuZXIgdW5hIHZlbnRhamEgY29tZXJjaWFsIG8gdW5hIGNvbXBlbnNhY2nDs24gbW9uZXRhcmlhIHByaXZhZGEuPC9saT4KICAgICAgICA8L29sPgogICAgICA8L2xpPgogICAgICA8bGk+R2VzdGnDs24gZGUgRGVyZWNob3MgZGUgQXV0b3Igc29icmUgSW50ZXJwcmV0YWNpb25lcyB5IEVqZWN1Y2lvbmVzIERpZ2l0YWxlcyAoV2ViQ2FzdGluZykuIFBhcmEgZXZpdGFyIHRvZGEgY29uZnVzacOzbiwgZWwgTGljZW5jaWFudGUgYWNsYXJhIHF1ZSwgY3VhbmRvIGxhIG9icmEgc2VhIHVuIGZvbm9ncmFtYSwgZWwgTGljZW5jaWFudGUgc2UgcmVzZXJ2YSBlbCBkZXJlY2hvIGV4Y2x1c2l2byBkZSBhdXRvcml6YXIgbGEgZWplY3VjacOzbiBww7pibGljYSBkaWdpdGFsIGRlIGxhIG9icmEgKHBvciBlamVtcGxvLCB3ZWJjYXN0KSB5IGRlIHJlY29sZWN0YXIsIGluZGl2aWR1YWxtZW50ZSBvIGEgdHJhdsOpcyBkZSB1bmEgc29jaWVkYWQgZGUgZ2VzdGnDs24gY29sZWN0aXZhIGRlIGRlcmVjaG9zIGRlIGF1dG9yIHkgZGVyZWNob3MgY29uZXhvcyAocG9yIGVqZW1wbG8sIEFDSU5QUk8pLCBsYXMgcmVnYWzDrWFzIHBvciBsYSBlamVjdWNpw7NuIHDDumJsaWNhIGRpZ2l0YWwgZGUgbGEgb2JyYSAocG9yIGVqZW1wbG8sIHdlYmNhc3QpLCBzdWpldGEgYSBsYXMgZGlzcG9zaWNpb25lcyBhcGxpY2FibGVzIGRlbCByw6lnaW1lbiBkZSBEZXJlY2hvIGRlIEF1dG9yLCBzaSBlc3RhIGVqZWN1Y2nDs24gcMO6YmxpY2EgZGlnaXRhbCBlc3TDoSBwcmltb3JkaWFsbWVudGUgZGlyaWdpZGEgYSBvYnRlbmVyIHVuYSB2ZW50YWphIGNvbWVyY2lhbCBvIHVuYSBjb21wZW5zYWNpw7NuIG1vbmV0YXJpYSBwcml2YWRhLjwvbGk+CiAgICA8L29sPgogIDwvbGk+CiAgPGJyLz4KICA8bGk+CiAgICBSZXByZXNlbnRhY2lvbmVzLCBHYXJhbnTDrWFzIHkgTGltaXRhY2lvbmVzIGRlIFJlc3BvbnNhYmlsaWRhZC4KICAgIDxwPkEgTUVOT1MgUVVFIExBUyBQQVJURVMgTE8gQUNPUkRBUkFOIERFIE9UUkEgRk9STUEgUE9SIEVTQ1JJVE8sIEVMIExJQ0VOQ0lBTlRFIE9GUkVDRSBMQSBPQlJBIChFTiBFTCBFU1RBRE8gRU4gRUwgUVVFIFNFIEVOQ1VFTlRSQSkg4oCcVEFMIENVQUzigJ0sIFNJTiBCUklOREFSIEdBUkFOVMONQVMgREUgQ0xBU0UgQUxHVU5BIFJFU1BFQ1RPIERFIExBIE9CUkEsIFlBIFNFQSBFWFBSRVNBLCBJTVBMw41DSVRBLCBMRUdBTCBPIENVQUxRVUlFUkEgT1RSQSwgSU5DTFVZRU5ETywgU0lOIExJTUlUQVJTRSBBIEVMTEFTLCBHQVJBTlTDjUFTIERFIFRJVFVMQVJJREFELCBDT01FUkNJQUJJTElEQUQsIEFEQVBUQUJJTElEQUQgTyBBREVDVUFDScOTTiBBIFBST1DDk1NJVE8gREVURVJNSU5BRE8sIEFVU0VOQ0lBIERFIElORlJBQ0NJw5NOLCBERSBBVVNFTkNJQSBERSBERUZFQ1RPUyBMQVRFTlRFUyBPIERFIE9UUk8gVElQTywgTyBMQSBQUkVTRU5DSUEgTyBBVVNFTkNJQSBERSBFUlJPUkVTLCBTRUFOIE8gTk8gREVTQ1VCUklCTEVTIChQVUVEQU4gTyBOTyBTRVIgRVNUT1MgREVTQ1VCSUVSVE9TKS4gQUxHVU5BUyBKVVJJU0RJQ0NJT05FUyBOTyBQRVJNSVRFTiBMQSBFWENMVVNJw5NOIERFIEdBUkFOVMONQVMgSU1QTMONQ0lUQVMsIEVOIENVWU8gQ0FTTyBFU1RBIEVYQ0xVU0nDk04gUFVFREUgTk8gQVBMSUNBUlNFIEEgVVNURUQuPC9wPgogIDwvbGk+CiAgPGJyLz4KICA8bGk+CiAgICBMaW1pdGFjacOzbiBkZSByZXNwb25zYWJpbGlkYWQuCiAgICA8cD5BIE1FTk9TIFFVRSBMTyBFWElKQSBFWFBSRVNBTUVOVEUgTEEgTEVZIEFQTElDQUJMRSwgRUwgTElDRU5DSUFOVEUgTk8gU0VSw4EgUkVTUE9OU0FCTEUgQU5URSBVU1RFRCBQT1IgREHDkU8gQUxHVU5PLCBTRUEgUE9SIFJFU1BPTlNBQklMSURBRCBFWFRSQUNPTlRSQUNUVUFMLCBQUkVDT05UUkFDVFVBTCBPIENPTlRSQUNUVUFMLCBPQkpFVElWQSBPIFNVQkpFVElWQSwgU0UgVFJBVEUgREUgREHDkU9TIE1PUkFMRVMgTyBQQVRSSU1PTklBTEVTLCBESVJFQ1RPUyBPIElORElSRUNUT1MsIFBSRVZJU1RPUyBPIElNUFJFVklTVE9TIFBST0RVQ0lET1MgUE9SIEVMIFVTTyBERSBFU1RBIExJQ0VOQ0lBIE8gREUgTEEgT0JSQSwgQVVOIENVQU5ETyBFTCBMSUNFTkNJQU5URSBIQVlBIFNJRE8gQURWRVJUSURPIERFIExBIFBPU0lCSUxJREFEIERFIERJQ0hPUyBEQcORT1MuIEFMR1VOQVMgTEVZRVMgTk8gUEVSTUlURU4gTEEgRVhDTFVTScOTTiBERSBDSUVSVEEgUkVTUE9OU0FCSUxJREFELCBFTiBDVVlPIENBU08gRVNUQSBFWENMVVNJw5NOIFBVRURFIE5PIEFQTElDQVJTRSBBIFVTVEVELjwvcD4KICA8L2xpPgogIDxici8+CiAgPGxpPgogICAgVMOpcm1pbm8uCiAgICA8b2wgdHlwZT0iYSI+CiAgICAgIDxsaT5Fc3RhIExpY2VuY2lhIHkgbG9zIGRlcmVjaG9zIG90b3JnYWRvcyBlbiB2aXJ0dWQgZGUgZWxsYSB0ZXJtaW5hcsOhbiBhdXRvbcOhdGljYW1lbnRlIHNpIFVzdGVkIGluZnJpbmdlIGFsZ3VuYSBjb25kaWNpw7NuIGVzdGFibGVjaWRhIGVuIGVsbGEuIFNpbiBlbWJhcmdvLCBsb3MgaW5kaXZpZHVvcyBvIGVudGlkYWRlcyBxdWUgaGFuIHJlY2liaWRvIE9icmFzIERlcml2YWRhcyBvIENvbGVjdGl2YXMgZGUgVXN0ZWQgZGUgY29uZm9ybWlkYWQgY29uIGVzdGEgTGljZW5jaWEsIG5vIHZlcsOhbiB0ZXJtaW5hZGFzIHN1cyBsaWNlbmNpYXMsIHNpZW1wcmUgcXVlIGVzdG9zIGluZGl2aWR1b3MgbyBlbnRpZGFkZXMgc2lnYW4gY3VtcGxpZW5kbyDDrW50ZWdyYW1lbnRlIGxhcyBjb25kaWNpb25lcyBkZSBlc3RhcyBsaWNlbmNpYXMuIExhcyBTZWNjaW9uZXMgMSwgMiwgNSwgNiwgNywgeSA4IHN1YnNpc3RpcsOhbiBhIGN1YWxxdWllciB0ZXJtaW5hY2nDs24gZGUgZXN0YSBMaWNlbmNpYS48L2xpPgogICAgICA8bGk+U3VqZXRhIGEgbGFzIGNvbmRpY2lvbmVzIHkgdMOpcm1pbm9zIGFudGVyaW9yZXMsIGxhIGxpY2VuY2lhIG90b3JnYWRhIGFxdcOtIGVzIHBlcnBldHVhIChkdXJhbnRlIGVsIHBlcsOtb2RvIGRlIHZpZ2VuY2lhIGRlIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSBsYSBvYnJhKS4gTm8gb2JzdGFudGUgbG8gYW50ZXJpb3IsIGVsIExpY2VuY2lhbnRlIHNlIHJlc2VydmEgZWwgZGVyZWNobyBhIHB1YmxpY2FyIHkvbyBlc3RyZW5hciBsYSBPYnJhIGJham8gY29uZGljaW9uZXMgZGUgbGljZW5jaWEgZGlmZXJlbnRlcyBvIGEgZGVqYXIgZGUgZGlzdHJpYnVpcmxhIGVuIGxvcyB0w6lybWlub3MgZGUgZXN0YSBMaWNlbmNpYSBlbiBjdWFscXVpZXIgbW9tZW50bzsgZW4gZWwgZW50ZW5kaWRvLCBzaW4gZW1iYXJnbywgcXVlIGVzYSBlbGVjY2nDs24gbm8gc2Vydmlyw6EgcGFyYSByZXZvY2FyIGVzdGEgbGljZW5jaWEgbyBxdWUgZGViYSBzZXIgb3RvcmdhZGEgLCBiYWpvIGxvcyB0w6lybWlub3MgZGUgZXN0YSBsaWNlbmNpYSksIHkgZXN0YSBsaWNlbmNpYSBjb250aW51YXLDoSBlbiBwbGVubyB2aWdvciB5IGVmZWN0byBhIG1lbm9zIHF1ZSBzZWEgdGVybWluYWRhIGNvbW8gc2UgZXhwcmVzYSBhdHLDoXMuIExhIExpY2VuY2lhIHJldm9jYWRhIGNvbnRpbnVhcsOhIHNpZW5kbyBwbGVuYW1lbnRlIHZpZ2VudGUgeSBlZmVjdGl2YSBzaSBubyBzZSBsZSBkYSB0w6lybWlubyBlbiBsYXMgY29uZGljaW9uZXMgaW5kaWNhZGFzIGFudGVyaW9ybWVudGUuPC9saT4KICAgIDwvb2w+CiAgPC9saT4KICA8YnIvPgogIDxsaT4KICAgIFZhcmlvcy4KICAgIDxvbCB0eXBlPSJhIj4KICAgICAgPGxpPkNhZGEgdmV6IHF1ZSBVc3RlZCBkaXN0cmlidXlhIG8gcG9uZ2EgYSBkaXNwb3NpY2nDs24gcMO6YmxpY2EgbGEgT2JyYSBvIHVuYSBPYnJhIENvbGVjdGl2YSwgZWwgTGljZW5jaWFudGUgb2ZyZWNlcsOhIGFsIGRlc3RpbmF0YXJpbyB1bmEgbGljZW5jaWEgZW4gbG9zIG1pc21vcyB0w6lybWlub3MgeSBjb25kaWNpb25lcyBxdWUgbGEgbGljZW5jaWEgb3RvcmdhZGEgYSBVc3RlZCBiYWpvIGVzdGEgTGljZW5jaWEuPC9saT4KICAgICAgPGxpPlNpIGFsZ3VuYSBkaXNwb3NpY2nDs24gZGUgZXN0YSBMaWNlbmNpYSByZXN1bHRhIGludmFsaWRhZGEgbyBubyBleGlnaWJsZSwgc2Vnw7puIGxhIGxlZ2lzbGFjacOzbiB2aWdlbnRlLCBlc3RvIG5vIGFmZWN0YXLDoSBuaSBsYSB2YWxpZGV6IG5pIGxhIGFwbGljYWJpbGlkYWQgZGVsIHJlc3RvIGRlIGNvbmRpY2lvbmVzIGRlIGVzdGEgTGljZW5jaWEgeSwgc2luIGFjY2nDs24gYWRpY2lvbmFsIHBvciBwYXJ0ZSBkZSBsb3Mgc3VqZXRvcyBkZSBlc3RlIGFjdWVyZG8sIGFxdcOpbGxhIHNlIGVudGVuZGVyw6EgcmVmb3JtYWRhIGxvIG3DrW5pbW8gbmVjZXNhcmlvIHBhcmEgaGFjZXIgcXVlIGRpY2hhIGRpc3Bvc2ljacOzbiBzZWEgdsOhbGlkYSB5IGV4aWdpYmxlLjwvbGk+CiAgICAgIDxsaT5OaW5nw7puIHTDqXJtaW5vIG8gZGlzcG9zaWNpw7NuIGRlIGVzdGEgTGljZW5jaWEgc2UgZXN0aW1hcsOhIHJlbnVuY2lhZGEgeSBuaW5ndW5hIHZpb2xhY2nDs24gZGUgZWxsYSBzZXLDoSBjb25zZW50aWRhIGEgbWVub3MgcXVlIGVzYSByZW51bmNpYSBvIGNvbnNlbnRpbWllbnRvIHNlYSBvdG9yZ2FkbyBwb3IgZXNjcml0byB5IGZpcm1hZG8gcG9yIGxhIHBhcnRlIHF1ZSByZW51bmNpZSBvIGNvbnNpZW50YS48L2xpPgogICAgICA8bGk+RXN0YSBMaWNlbmNpYSByZWZsZWphIGVsIGFjdWVyZG8gcGxlbm8gZW50cmUgbGFzIHBhcnRlcyByZXNwZWN0byBhIGxhIE9icmEgYXF1w60gbGljZW5jaWFkYS4gTm8gaGF5IGFycmVnbG9zLCBhY3VlcmRvcyBvIGRlY2xhcmFjaW9uZXMgcmVzcGVjdG8gYSBsYSBPYnJhIHF1ZSBubyBlc3TDqW4gZXNwZWNpZmljYWRvcyBlbiBlc3RlIGRvY3VtZW50by4gRWwgTGljZW5jaWFudGUgbm8gc2UgdmVyw6EgbGltaXRhZG8gcG9yIG5pbmd1bmEgZGlzcG9zaWNpw7NuIGFkaWNpb25hbCBxdWUgcHVlZGEgc3VyZ2lyIGVuIGFsZ3VuYSBjb211bmljYWNpw7NuIGVtYW5hZGEgZGUgVXN0ZWQuIEVzdGEgTGljZW5jaWEgbm8gcHVlZGUgc2VyIG1vZGlmaWNhZGEgc2luIGVsIGNvbnNlbnRpbWllbnRvIG11dHVvIHBvciBlc2NyaXRvIGRlbCBMaWNlbmNpYW50ZSB5IFVzdGVkLjwvbGk+CiAgICA8L29sPgogIDwvbGk+CiAgPGJyLz4KPC9vbD4K |