Design of an integrated automation and control system using Petri nets: case study

Integrated automation and control system (IACS) based on the discrete events control using Petri nets (PN) that encompasses the design, analysis, and validation of models of industrial pumping systems are not commonly used. Our case study is the design, simulation, and initial implementation of a su...

Full description

Autores:
Nuñez Álvarez, J. R.
Benitez Pina. I. F.
Acosta Montoya, G. J.
Villafruela, L.
Tipo de recurso:
Article of investigation
Fecha de publicación:
2023
Institución:
Corporación Universidad de la Costa
Repositorio:
REDICUC - Repositorio CUC
Idioma:
eng
OAI Identifier:
oai:repositorio.cuc.edu.co:11323/13520
Acceso en línea:
https://hdl.handle.net/11323/13520
https://repositorio.cuc.edu.co/
Palabra clave:
Automatic control
Networked control systems
SCADA systems
Software systems
Supervisory control
Rights
openAccess
License
Atribución 4.0 Internacional (CC BY 4.0)
id RCUC2_76ed618ae04377a6fe81cd13755e4693
oai_identifier_str oai:repositorio.cuc.edu.co:11323/13520
network_acronym_str RCUC2
network_name_str REDICUC - Repositorio CUC
repository_id_str
dc.title.eng.fl_str_mv Design of an integrated automation and control system using Petri nets: case study
title Design of an integrated automation and control system using Petri nets: case study
spellingShingle Design of an integrated automation and control system using Petri nets: case study
Automatic control
Networked control systems
SCADA systems
Software systems
Supervisory control
title_short Design of an integrated automation and control system using Petri nets: case study
title_full Design of an integrated automation and control system using Petri nets: case study
title_fullStr Design of an integrated automation and control system using Petri nets: case study
title_full_unstemmed Design of an integrated automation and control system using Petri nets: case study
title_sort Design of an integrated automation and control system using Petri nets: case study
dc.creator.fl_str_mv Nuñez Álvarez, J. R.
Benitez Pina. I. F.
Acosta Montoya, G. J.
Villafruela, L.
dc.contributor.author.none.fl_str_mv Nuñez Álvarez, J. R.
Benitez Pina. I. F.
Acosta Montoya, G. J.
Villafruela, L.
dc.subject.proposal.eng.fl_str_mv Automatic control
Networked control systems
SCADA systems
Software systems
Supervisory control
topic Automatic control
Networked control systems
SCADA systems
Software systems
Supervisory control
description Integrated automation and control system (IACS) based on the discrete events control using Petri nets (PN) that encompasses the design, analysis, and validation of models of industrial pumping systems are not commonly used. Our case study is the design, simulation, and initial implementation of a supervision system using GHENeSys PN and EROS software at the "San Juan" Pumping Station in Santiago de Cuba, Cuba. These tools allow describing the models of the states of the local automatic process and the operation of the Supervisor to consider the functions of Preventive Maintenance and Alarm Treatment. The IACS starts from the MatLab simulation of main control loops and later uses the GHENeSys extended hierarchical net to model a modularly structured integrated automation system that responds to synchronized functional demands. This methodology has the advantages of full hierarchical modularity from local control to production management, various modular verification and validation tools, and full IEC61131 compatibility. This reduces design errors and implementation time with increased integration efficiency.
publishDate 2023
dc.date.issued.none.fl_str_mv 2023-04-30
dc.date.accessioned.none.fl_str_mv 2024-10-24T12:39:22Z
dc.date.available.none.fl_str_mv 2024-10-24T12:39:22Z
dc.type.none.fl_str_mv Artículo de revista
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.content.none.fl_str_mv Text
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/article
dc.type.redcol.none.fl_str_mv http://purl.org/redcol/resource_type/ART
dc.type.version.none.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coarversion.none.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
format http://purl.org/coar/resource_type/c_2df8fbb1
status_str publishedVersion
dc.identifier.citation.none.fl_str_mv Núñez-Alvarez, J. R., Benítez-Pina, I., Acosta-Montoya, G., Pino-Escalona, A., & Villafuela-Loperena, L. (2023). Design of an Integrated Automation & Control System Using Petri Nets: Case Study. Journal of Applied Research and Technology, 21(2), 169–180. https://doi.org/10.22201/icat.24486736e.2023.21.2.1562
dc.identifier.issn.none.fl_str_mv 1665-6423
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/11323/13520
dc.identifier.doi.none.fl_str_mv 10.22201/icat.24486736E.2023.21.2.1562
dc.identifier.instname.none.fl_str_mv Corporación Universidad de la Costa
dc.identifier.reponame.none.fl_str_mv REDICUC - Repositorio CUC
dc.identifier.repourl.none.fl_str_mv https://repositorio.cuc.edu.co/
identifier_str_mv Núñez-Alvarez, J. R., Benítez-Pina, I., Acosta-Montoya, G., Pino-Escalona, A., & Villafuela-Loperena, L. (2023). Design of an Integrated Automation & Control System Using Petri Nets: Case Study. Journal of Applied Research and Technology, 21(2), 169–180. https://doi.org/10.22201/icat.24486736e.2023.21.2.1562
1665-6423
10.22201/icat.24486736E.2023.21.2.1562
Corporación Universidad de la Costa
REDICUC - Repositorio CUC
url https://hdl.handle.net/11323/13520
https://repositorio.cuc.edu.co/
dc.language.iso.none.fl_str_mv eng
language eng
dc.relation.ispartofjournal.none.fl_str_mv Journal of Applied Research and Technology
dc.relation.references.none.fl_str_mv Acosta, G. (2015). The formal design of the Integrated Automation System for the San Juan Pumping Station using Petri Nets techniques, Master´s Thesis, Automation Department. Universidad de Oriente, Santiago de Cuba, Cuba, 2015.
Aguilar, J., Ríos, A., Hidrobo, F., & Cerrada, M. (2013). Sistemas multiagentes y sus aplicaciones en automatización industrial. Talleres Gráficos, Universidad de Los Andes.
Aly, W. H. F., & Kotb, Y. (2018). Towards SDN fault tolerance using petri-nets. In 2018 28th International Telecommunication Networks and Applications Conference (ITNAC) (pp. 1-3). IEEE. https://doi.org/10.1109/ATNAC.2018.8615188
Åström, K. J., Kheir, N. A., Auslander, D., Cheok, K. C., Franklin, G. F., Masten, M., & Rabins, M. (1996). Control Systems Engineering Education, Automatica, 32(2), 147-166. https://doi.org/10.1016/0005-1098(96)85546-4
Basile, F., Faraut, G., Ferrara, L., & Lesage, J. J. (2020). An optimization-based approach to discover the unobservable behavior of a discrete-event system through interpreted Petri nets. IEEE Transactions on Automation Science and Engineering, 17(2), 784-798. https://doi.org/10.1109/TASE.2019.2944299
Benitez-Pina, I. F., Lamar-Carbonell, S., Silva, R. M. D., EigiMiyagi, P., & Silva, J. R. (2017). Design of automatic control system based on unified timed hybrid Petri net. Dyna, 84(200), 80-89. https://doi.org/10.15446/dyna.v84n200.56917.
Borges, M. U., & Lima, E. J. (2018). Conversion methodologies from Signal Interpreted Petri Nets to Ladder Diagram and C language in Arduino. International Journal of Mechanical Engineering Education, 46(4), 302-314. https://doi.org/10.1177/0306419018759921
David, R., & Alla, H. (2010). Discrete, continuous, and hybrid Petri nets (Vol. 1, pp. 17-130). Berlin: Springer. https://doi.org/10.1007/b138130
Drath, R. (1997). A mathematical approach to describing a class of hybrid systems. In Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems (pp. 228- 232). IEEE. https://doi.org/10.1109/WPDRTS.1997.637984
Frey, G., & Litz, L. (1998). Verification and validation of control algorithms by coupling of interpreted petri nets. In SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics, (Vol. 1, pp. 7-12). IEEE. https://doi.org/10.1109/ICSMC.1998.725375
Hermosilla, D. M., Codorniú, R. T., Baracaldo, R. L., Zamora, R. S., Rodriguez, D. D., Albuerne, Y. L., & Álvarez, J. R. N. (2021). Shallow convolutional network excel for classifying motor imagery EEG in BCI applications. IEEE Access, 9, 98275-98286. https://doi.org/10.1109/ACCESS.2021.3091399
Holloway, L. E., Krogh, B. H., & Giua, A. (1997), A. Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems, 7, 151-190. https://doi.org/10.1023/A:1008271916548
Jakovljevic, Z., Lesi, V., Mitrovic, S., & Pajic, M. (2019). Distributing sequential control for manufacturing automation systems. IEEE Transactions on Control Systems Technology, 28(4), 1586-1594. https://doi.org/10.1109/TCST.2019.2912776
Júlvez, J., Vázquez, C. R., Mahulea, C., & Silva, M. (2013). Continuous Petri nets: controllability and control. Control of Discrete-Event Systems: Automata and Petri Net Perspectives, 407-428. https://doi.org/10.1007/978-1-4471-4276-8
Kaid, H., Al-Ahmari, A., & Li, Z. (2020). Colored resource-oriented Petri net based ladder diagrams for PLC implementation in reconfigurable manufacturing systems. IEEE Access, 8, 217573-217591. https://doi.org/10.1109/ACCESS.2020.3041408
Kanamaru, H. (2020). Requirements for IT/OT Cooperation in Safe and Secure IACS. In 2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE) (pp. 39-44). IEEE. https://doi.org/10.23919/SICE48898.2020.9240295
León, A. A. S., & Alvarez, J. R. N. (2019). 1D convolutional neural network for detecting ventricular heartbeats. IEEE Latin America Transactions, 17(12), 1970-1977. https://doi.org/10.1109/TLA.2019.9011541
Li, X., Xing, K., Zhou, M., Wang, X., & Wu, Y. (2019). Modified dynamic programming algorithm for optimization of total energy consumption in flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering, 16(2), 691-705. https://doi.org/10.1109/TASE.2018.2852722
Lin, W., Luo, J. L., Zhou, J. Z., Huang, Y. S., & Zhou, M. C. (2016). Scheduling and control of batch chemical processes with timed Petri nets. In 2016 IEEE International Conference on Automation Science and Engineering (CASE) (pp. 421-426). IEEE. https://doi.org/10.1109/COASE.2016.7743436
Luo, J., Zhang, Q., Chen, X., & Zhou, M. (2018). Modeling and race detection of ladder diagrams via ordinary Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 48(7), 1166-1176. https://doi.org/10.1109/TSMC.2016.2647219
Lutz-Ley, A., & López-Mellado, E. (2018). Stability analysis of discrete event systems modeled by Petri nets using unfoldings. IEEE Transactions on Automation Science and Engineering, 15(4), 1964-1971. https://doi.org/10.1109/TASE.2018.2830385
Miyagi, P. E. (1996). Controle programável: fundamentos do controle de sistemas a eventos discretos. Editora Blucher.
Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. https://doi.org/10.1109/5.24143
Nuñez, J., Pina, I. F. B., Martínez, A. R., Pérez, S. D., & de Oliveira, D. L. (2019). Tools for the Implementation of a SCADA System in a Desalination Process. IEEE Latin America Transactions, 17(11), 1858-1864. https://doi.org/10.1109/TLA.2019.8986424
Nuñez, J. R., Mestre, J., Cabello, J. J., Dominguez, H., Fong, J., Peña, L., ... & De Oliveira, D. (2020). Design of a fuzzy controller for a hybrid generation system. In IOP Conference Series: Materials Science and Engineering (Vol. 844, No. 1, p. 012017). IOP Publishing. https://doi.org/10.1088/1757-899X/844/1/012017
Ogata, K. (2010). Ingeniería de Control Moderna, 5th ed, Editorial: Pearson Prentice Hall.
Ramadge, P. J., & Wonham, W. M. (1989). The control of discrete event systems. Proceedings of the IEEE, 77(1), 81-98. https://doi.org/10.1109/5.21072
Raman, A., & Sreenivas, R. S. (2021). Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets. Automatica, 125, 109430. https://doi.org/10.1016/j.automatica.2020.109430
Reynard, S., Gomis‐Bellmunt, O., Sudrià‐Andreu, A., Boix‐ Aragonès, O., & Benítez‐Pina, I. (2008). Flexible manufacturing cell SCADA system for educational purposes. Computer Applications in Engineering Education, 16(1), 21-30. https://doi.org/10.1002/cae.20115
Rigó, S. E. S., Laguardia, A. S. M., & Mederos, O. P. (2018). Web Client and SCADA Applications for Monitoring the “Cayo Santa María”. Isolated Electric System. Sistemas & Telemática, 16(47), 59-70.
Silva, J. R., Benítez, I., Villafruela, L., Gomis, O., & Sudrià, A. (2008). Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. The International Journal of Advanced Manufacturing Technology, 36, 1180-1190. https://doi.org/10.1007/s00170-006-0924-5
Silva, J. R., Poli, M. A., Soares, C., & Mendez, J. (2010). A holonic approach to the integration of automated systems, ABCM Symposium Series in Mechatronics, 4, 442-450. https://hdl.handle.net/1822/18108
Theis, J., Mokhtarian, I., & Darabi, H. (2019). Process mining of programmable logic controllers: Input/output event logs. In 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) (pp. 216-221). IEEE. https://doi.org/10.1109/COASE.2019.8842900
Uzam, M. U. R. A. T., & Jones, A. H. (1998). Discrete event control system design using automation Petri nets and their ladder diagram implementation. The International Journal of Advanced Manufacturing Technology, 14, 716-728. https://doi.org/10.1007/BF01438224
Yue, H., Xu, S., Zhou, G., Hu, H., Guo, Y., & Zhang, J. (2019). Estimation of least-cost transition firing sequences in labeled Petri nets by using basis reachability graph. IEEE Access, 7, 165387-165398. https://doi.org/10.1109/ACCESS.2019.2952056
dc.relation.citationendpage.none.fl_str_mv 180
dc.relation.citationstartpage.none.fl_str_mv 169
dc.relation.citationissue.none.fl_str_mv 2
dc.relation.citationvolume.none.fl_str_mv 21
dc.rights.license.none.fl_str_mv Atribución 4.0 Internacional (CC BY 4.0)
dc.rights.uri.none.fl_str_mv https://creativecommons.org/licenses/by/4.0/
dc.rights.accessrights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.none.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv Atribución 4.0 Internacional (CC BY 4.0)
https://creativecommons.org/licenses/by/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.none.fl_str_mv 12 páginas
dc.format.mimetype.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Centro de Ciencias Aplicadas y Desarrollo Tecnologico, Universidad Nacional Autonoma de Mexico
dc.publisher.place.none.fl_str_mv Mexico
publisher.none.fl_str_mv Centro de Ciencias Aplicadas y Desarrollo Tecnologico, Universidad Nacional Autonoma de Mexico
dc.source.none.fl_str_mv https://jart.icat.unam.mx/index.php/jart/article/view/1562
institution Corporación Universidad de la Costa
bitstream.url.fl_str_mv https://repositorio.cuc.edu.co/bitstreams/4e136d13-a943-4cfd-b79e-06aeab4837e4/download
https://repositorio.cuc.edu.co/bitstreams/9af059f7-db5c-4ba5-ad58-56aa9670cf26/download
https://repositorio.cuc.edu.co/bitstreams/f702b375-d82c-4ecc-ab3a-ae7cf50e8981/download
https://repositorio.cuc.edu.co/bitstreams/3c7ae5cc-c6a7-4cdb-acdd-e651a0175a73/download
bitstream.checksum.fl_str_mv 73a5432e0b76442b22b026844140d683
4b20ba8ec26c2b771902fdd4e1a955ca
9481b22eaa8f2bca5f5db007001a9af9
335b467fa92f996945e19024c8e42155
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio de la Universidad de la Costa CUC
repository.mail.fl_str_mv repdigital@cuc.edu.co
_version_ 1828166583924555776
spelling Atribución 4.0 Internacional (CC BY 4.0)https://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Nuñez Álvarez, J. R.Benitez Pina. I. F.Acosta Montoya, G. J.Villafruela, L.2024-10-24T12:39:22Z2024-10-24T12:39:22Z2023-04-30Núñez-Alvarez, J. R., Benítez-Pina, I., Acosta-Montoya, G., Pino-Escalona, A., & Villafuela-Loperena, L. (2023). Design of an Integrated Automation & Control System Using Petri Nets: Case Study. Journal of Applied Research and Technology, 21(2), 169–180. https://doi.org/10.22201/icat.24486736e.2023.21.2.15621665-6423https://hdl.handle.net/11323/1352010.22201/icat.24486736E.2023.21.2.1562Corporación Universidad de la CostaREDICUC - Repositorio CUChttps://repositorio.cuc.edu.co/Integrated automation and control system (IACS) based on the discrete events control using Petri nets (PN) that encompasses the design, analysis, and validation of models of industrial pumping systems are not commonly used. Our case study is the design, simulation, and initial implementation of a supervision system using GHENeSys PN and EROS software at the "San Juan" Pumping Station in Santiago de Cuba, Cuba. These tools allow describing the models of the states of the local automatic process and the operation of the Supervisor to consider the functions of Preventive Maintenance and Alarm Treatment. The IACS starts from the MatLab simulation of main control loops and later uses the GHENeSys extended hierarchical net to model a modularly structured integrated automation system that responds to synchronized functional demands. This methodology has the advantages of full hierarchical modularity from local control to production management, various modular verification and validation tools, and full IEC61131 compatibility. This reduces design errors and implementation time with increased integration efficiency.12 páginasapplication/pdfengCentro de Ciencias Aplicadas y Desarrollo Tecnologico, Universidad Nacional Autonoma de MexicoMexicohttps://jart.icat.unam.mx/index.php/jart/article/view/1562Design of an integrated automation and control system using Petri nets: case studyArtículo de revistahttp://purl.org/coar/resource_type/c_2df8fbb1Textinfo:eu-repo/semantics/articlehttp://purl.org/redcol/resource_type/ARTinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a85Journal of Applied Research and TechnologyAcosta, G. (2015). The formal design of the Integrated Automation System for the San Juan Pumping Station using Petri Nets techniques, Master´s Thesis, Automation Department. Universidad de Oriente, Santiago de Cuba, Cuba, 2015.Aguilar, J., Ríos, A., Hidrobo, F., & Cerrada, M. (2013). Sistemas multiagentes y sus aplicaciones en automatización industrial. Talleres Gráficos, Universidad de Los Andes.Aly, W. H. F., & Kotb, Y. (2018). Towards SDN fault tolerance using petri-nets. In 2018 28th International Telecommunication Networks and Applications Conference (ITNAC) (pp. 1-3). IEEE. https://doi.org/10.1109/ATNAC.2018.8615188Åström, K. J., Kheir, N. A., Auslander, D., Cheok, K. C., Franklin, G. F., Masten, M., & Rabins, M. (1996). Control Systems Engineering Education, Automatica, 32(2), 147-166. https://doi.org/10.1016/0005-1098(96)85546-4Basile, F., Faraut, G., Ferrara, L., & Lesage, J. J. (2020). An optimization-based approach to discover the unobservable behavior of a discrete-event system through interpreted Petri nets. IEEE Transactions on Automation Science and Engineering, 17(2), 784-798. https://doi.org/10.1109/TASE.2019.2944299Benitez-Pina, I. F., Lamar-Carbonell, S., Silva, R. M. D., EigiMiyagi, P., & Silva, J. R. (2017). Design of automatic control system based on unified timed hybrid Petri net. Dyna, 84(200), 80-89. https://doi.org/10.15446/dyna.v84n200.56917.Borges, M. U., & Lima, E. J. (2018). Conversion methodologies from Signal Interpreted Petri Nets to Ladder Diagram and C language in Arduino. International Journal of Mechanical Engineering Education, 46(4), 302-314. https://doi.org/10.1177/0306419018759921David, R., & Alla, H. (2010). Discrete, continuous, and hybrid Petri nets (Vol. 1, pp. 17-130). Berlin: Springer. https://doi.org/10.1007/b138130Drath, R. (1997). A mathematical approach to describing a class of hybrid systems. In Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems (pp. 228- 232). IEEE. https://doi.org/10.1109/WPDRTS.1997.637984Frey, G., & Litz, L. (1998). Verification and validation of control algorithms by coupling of interpreted petri nets. In SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics, (Vol. 1, pp. 7-12). IEEE. https://doi.org/10.1109/ICSMC.1998.725375Hermosilla, D. M., Codorniú, R. T., Baracaldo, R. L., Zamora, R. S., Rodriguez, D. D., Albuerne, Y. L., & Álvarez, J. R. N. (2021). Shallow convolutional network excel for classifying motor imagery EEG in BCI applications. IEEE Access, 9, 98275-98286. https://doi.org/10.1109/ACCESS.2021.3091399Holloway, L. E., Krogh, B. H., & Giua, A. (1997), A. Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems, 7, 151-190. https://doi.org/10.1023/A:1008271916548Jakovljevic, Z., Lesi, V., Mitrovic, S., & Pajic, M. (2019). Distributing sequential control for manufacturing automation systems. IEEE Transactions on Control Systems Technology, 28(4), 1586-1594. https://doi.org/10.1109/TCST.2019.2912776Júlvez, J., Vázquez, C. R., Mahulea, C., & Silva, M. (2013). Continuous Petri nets: controllability and control. Control of Discrete-Event Systems: Automata and Petri Net Perspectives, 407-428. https://doi.org/10.1007/978-1-4471-4276-8Kaid, H., Al-Ahmari, A., & Li, Z. (2020). Colored resource-oriented Petri net based ladder diagrams for PLC implementation in reconfigurable manufacturing systems. IEEE Access, 8, 217573-217591. https://doi.org/10.1109/ACCESS.2020.3041408Kanamaru, H. (2020). Requirements for IT/OT Cooperation in Safe and Secure IACS. In 2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE) (pp. 39-44). IEEE. https://doi.org/10.23919/SICE48898.2020.9240295León, A. A. S., & Alvarez, J. R. N. (2019). 1D convolutional neural network for detecting ventricular heartbeats. IEEE Latin America Transactions, 17(12), 1970-1977. https://doi.org/10.1109/TLA.2019.9011541Li, X., Xing, K., Zhou, M., Wang, X., & Wu, Y. (2019). Modified dynamic programming algorithm for optimization of total energy consumption in flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering, 16(2), 691-705. https://doi.org/10.1109/TASE.2018.2852722Lin, W., Luo, J. L., Zhou, J. Z., Huang, Y. S., & Zhou, M. C. (2016). Scheduling and control of batch chemical processes with timed Petri nets. In 2016 IEEE International Conference on Automation Science and Engineering (CASE) (pp. 421-426). IEEE. https://doi.org/10.1109/COASE.2016.7743436Luo, J., Zhang, Q., Chen, X., & Zhou, M. (2018). Modeling and race detection of ladder diagrams via ordinary Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 48(7), 1166-1176. https://doi.org/10.1109/TSMC.2016.2647219Lutz-Ley, A., & López-Mellado, E. (2018). Stability analysis of discrete event systems modeled by Petri nets using unfoldings. IEEE Transactions on Automation Science and Engineering, 15(4), 1964-1971. https://doi.org/10.1109/TASE.2018.2830385Miyagi, P. E. (1996). Controle programável: fundamentos do controle de sistemas a eventos discretos. Editora Blucher.Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. https://doi.org/10.1109/5.24143Nuñez, J., Pina, I. F. B., Martínez, A. R., Pérez, S. D., & de Oliveira, D. L. (2019). Tools for the Implementation of a SCADA System in a Desalination Process. IEEE Latin America Transactions, 17(11), 1858-1864. https://doi.org/10.1109/TLA.2019.8986424Nuñez, J. R., Mestre, J., Cabello, J. J., Dominguez, H., Fong, J., Peña, L., ... & De Oliveira, D. (2020). Design of a fuzzy controller for a hybrid generation system. In IOP Conference Series: Materials Science and Engineering (Vol. 844, No. 1, p. 012017). IOP Publishing. https://doi.org/10.1088/1757-899X/844/1/012017Ogata, K. (2010). Ingeniería de Control Moderna, 5th ed, Editorial: Pearson Prentice Hall.Ramadge, P. J., & Wonham, W. M. (1989). The control of discrete event systems. Proceedings of the IEEE, 77(1), 81-98. https://doi.org/10.1109/5.21072Raman, A., & Sreenivas, R. S. (2021). Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets. Automatica, 125, 109430. https://doi.org/10.1016/j.automatica.2020.109430Reynard, S., Gomis‐Bellmunt, O., Sudrià‐Andreu, A., Boix‐ Aragonès, O., & Benítez‐Pina, I. (2008). Flexible manufacturing cell SCADA system for educational purposes. Computer Applications in Engineering Education, 16(1), 21-30. https://doi.org/10.1002/cae.20115Rigó, S. E. S., Laguardia, A. S. M., & Mederos, O. P. (2018). Web Client and SCADA Applications for Monitoring the “Cayo Santa María”. Isolated Electric System. Sistemas & Telemática, 16(47), 59-70.Silva, J. R., Benítez, I., Villafruela, L., Gomis, O., & Sudrià, A. (2008). Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. The International Journal of Advanced Manufacturing Technology, 36, 1180-1190. https://doi.org/10.1007/s00170-006-0924-5Silva, J. R., Poli, M. A., Soares, C., & Mendez, J. (2010). A holonic approach to the integration of automated systems, ABCM Symposium Series in Mechatronics, 4, 442-450. https://hdl.handle.net/1822/18108Theis, J., Mokhtarian, I., & Darabi, H. (2019). Process mining of programmable logic controllers: Input/output event logs. In 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) (pp. 216-221). IEEE. https://doi.org/10.1109/COASE.2019.8842900Uzam, M. U. R. A. T., & Jones, A. H. (1998). Discrete event control system design using automation Petri nets and their ladder diagram implementation. The International Journal of Advanced Manufacturing Technology, 14, 716-728. https://doi.org/10.1007/BF01438224Yue, H., Xu, S., Zhou, G., Hu, H., Guo, Y., & Zhang, J. (2019). Estimation of least-cost transition firing sequences in labeled Petri nets by using basis reachability graph. IEEE Access, 7, 165387-165398. https://doi.org/10.1109/ACCESS.2019.2952056180169221Automatic controlNetworked control systemsSCADA systemsSoftware systemsSupervisory controlPublicationLICENSElicense.txtlicense.txttext/plain; charset=utf-815543https://repositorio.cuc.edu.co/bitstreams/4e136d13-a943-4cfd-b79e-06aeab4837e4/download73a5432e0b76442b22b026844140d683MD51ORIGINALDesign of an integrated automation and control system using.pdfDesign of an integrated automation and control system using.pdfapplication/pdf1476612https://repositorio.cuc.edu.co/bitstreams/9af059f7-db5c-4ba5-ad58-56aa9670cf26/download4b20ba8ec26c2b771902fdd4e1a955caMD52TEXTDesign of an integrated automation and control system using.pdf.txtDesign of an integrated automation and control system using.pdf.txtExtracted texttext/plain48490https://repositorio.cuc.edu.co/bitstreams/f702b375-d82c-4ecc-ab3a-ae7cf50e8981/download9481b22eaa8f2bca5f5db007001a9af9MD53THUMBNAILDesign of an integrated automation and control system using.pdf.jpgDesign of an integrated automation and control system using.pdf.jpgGenerated Thumbnailimage/jpeg10763https://repositorio.cuc.edu.co/bitstreams/3c7ae5cc-c6a7-4cdb-acdd-e651a0175a73/download335b467fa92f996945e19024c8e42155MD5411323/13520oai:repositorio.cuc.edu.co:11323/135202024-10-25 03:00:34.433https://creativecommons.org/licenses/by/4.0/open.accesshttps://repositorio.cuc.edu.coRepositorio de la Universidad de la Costa CUCrepdigital@cuc.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

Publicaciones similares