<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1665-6423</journal-id>
<journal-title><![CDATA[Journal of applied research and technology]]></journal-title>
<abbrev-journal-title><![CDATA[J. appl. res. technol]]></abbrev-journal-title>
<issn>1665-6423</issn>
<publisher>
<publisher-name><![CDATA[Universidad Nacional Autónoma de México, Instituto de Ciencias Aplicadas y Tecnología]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1665-64232023000200169</article-id>
<article-id pub-id-type="doi">10.22201/icat.24486736e.2023.21.2.1562</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Design of an integrated automation and control system using Petri nets: Case study]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Nuñez-Alvarez]]></surname>
<given-names><![CDATA[J. R.]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Benítez-Pina]]></surname>
<given-names><![CDATA[I. F.]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Acosta-Montoya]]></surname>
<given-names><![CDATA[G. J.]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Villafruela]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de la Costa Energy Department ]]></institution>
<addr-line><![CDATA[Barranquilla ]]></addr-line>
<country>Colombia</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidad de Oriente Automatic Department ]]></institution>
<addr-line><![CDATA[Santiago de Cuba ]]></addr-line>
<country>Cuba</country>
</aff>
<aff id="Af3">
<institution><![CDATA[,Santiago Division of the Integral Automation  ]]></institution>
<addr-line><![CDATA[Santiago de Cuba ]]></addr-line>
<country>Cuba</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>00</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>00</month>
<year>2023</year>
</pub-date>
<volume>21</volume>
<numero>2</numero>
<fpage>169</fpage>
<lpage>180</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1665-64232023000200169&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1665-64232023000200169&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1665-64232023000200169&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract 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.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Automatic control]]></kwd>
<kwd lng="en"><![CDATA[networked control systems]]></kwd>
<kwd lng="en"><![CDATA[SCADA systems]]></kwd>
<kwd lng="en"><![CDATA[software systems]]></kwd>
<kwd lng="en"><![CDATA[supervisory control]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Acosta]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[The formal design of the Integrated Automation System for the San Juan Pumping Station using Petri Nets techniques]]></source>
<year>2015</year>
<publisher-loc><![CDATA[Santiago de Cuba, Cuba ]]></publisher-loc>
<publisher-name><![CDATA[Automation Department, Universidad de Oriente]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Aguilar]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Ríos]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Hidrobo]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Cerrada]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Sistemas multiagentes y sus aplicaciones en automatización industrial]]></source>
<year>2013</year>
<publisher-name><![CDATA[Talleres Gráficos, Universidad de Los Andes]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Aly]]></surname>
<given-names><![CDATA[W. H. F.]]></given-names>
</name>
<name>
<surname><![CDATA[Kotb]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
</person-group>
<source><![CDATA[Towards SDN fault tolerance using petri-nets]]></source>
<year>2018</year>
<conf-name><![CDATA[ 2018 28th International Telecommunication Networks and Applications Conference (ITNAC)]]></conf-name>
<conf-loc> </conf-loc>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Åström]]></surname>
<given-names><![CDATA[K. J.]]></given-names>
</name>
<name>
<surname><![CDATA[Kheir]]></surname>
<given-names><![CDATA[N. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Auslander]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Cheok]]></surname>
<given-names><![CDATA[K. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Franklin]]></surname>
<given-names><![CDATA[G. F.]]></given-names>
</name>
<name>
<surname><![CDATA[Masten]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Rabins]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Control Systems Engineering Education]]></article-title>
<source><![CDATA[Automatica]]></source>
<year>1996</year>
<volume>32</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>147-66</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Basile]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Faraut]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Ferrara]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Lesage]]></surname>
<given-names><![CDATA[J. J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An optimization-based approach to discover the unobservable behavior of a discrete-event system through interpreted Petri nets]]></article-title>
<source><![CDATA[IEEE Transactions on Automation Science and Engineering]]></source>
<year>2020</year>
<volume>17</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>784-98</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Benitez-Pina]]></surname>
<given-names><![CDATA[I. F.]]></given-names>
</name>
<name>
<surname><![CDATA[Lamar-Carbonell]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Silva]]></surname>
<given-names><![CDATA[R. M. D.]]></given-names>
</name>
<name>
<surname><![CDATA[Eigi-Miyagi]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Silva]]></surname>
<given-names><![CDATA[J. R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Design of automatic control system based on unified timed hybrid Petri net]]></article-title>
<source><![CDATA[Dyna]]></source>
<year>2017</year>
<volume>84</volume>
<numero>200</numero>
<issue>200</issue>
<page-range>80-9</page-range></nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Borges]]></surname>
<given-names><![CDATA[M. U.]]></given-names>
</name>
<name>
<surname><![CDATA[Lima]]></surname>
<given-names><![CDATA[E. J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Conversion methodologies from Signal Interpreted Petri Nets to Ladder Diagram and C language in Arduino]]></article-title>
<source><![CDATA[International Journal of Mechanical Engineering Education]]></source>
<year>2018</year>
<volume>46</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>302-14</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[David]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Alla]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Discrete, continuous, and hybrid Petri nets]]></source>
<year>2010</year>
<volume>1</volume>
<page-range>17-130</page-range><publisher-loc><![CDATA[Berlin ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Drath]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A mathematical approach to describing a class of hybrid systems]]></article-title>
<source><![CDATA[Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems]]></source>
<year>1997</year>
<page-range>228-32</page-range><publisher-name><![CDATA[IEEE]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Frey]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Litz]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Verification and validation of control algorithms by coupling of interpreted petri nets]]></article-title>
<source><![CDATA[SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics]]></source>
<year>1998</year>
<volume>1</volume>
<page-range>7-12</page-range><publisher-name><![CDATA[IEEE]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hermosilla]]></surname>
<given-names><![CDATA[D. M.]]></given-names>
</name>
<name>
<surname><![CDATA[Codorniú]]></surname>
<given-names><![CDATA[R. T.]]></given-names>
</name>
<name>
<surname><![CDATA[Baracaldo]]></surname>
<given-names><![CDATA[R. L.]]></given-names>
</name>
<name>
<surname><![CDATA[Zamora]]></surname>
<given-names><![CDATA[R. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Rodriguez]]></surname>
<given-names><![CDATA[D. D.]]></given-names>
</name>
<name>
<surname><![CDATA[Albuerne]]></surname>
<given-names><![CDATA[Y. L.]]></given-names>
</name>
<name>
<surname><![CDATA[Álvarez]]></surname>
<given-names><![CDATA[J. R. N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Shallow convolutional network excel for classifying motor imagery EEG in BCI applications]]></article-title>
<source><![CDATA[IEEE Access]]></source>
<year>2021</year>
<volume>9</volume>
<page-range>98275-86</page-range></nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Holloway]]></surname>
<given-names><![CDATA[L. E.]]></given-names>
</name>
<name>
<surname><![CDATA[Krogh]]></surname>
<given-names><![CDATA[B. H.]]></given-names>
</name>
<name>
<surname><![CDATA[Giua]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A. Survey of Petri Net Methods for Controlled Discrete Event Systems]]></article-title>
<source><![CDATA[Discrete Event Dynamic Systems]]></source>
<year>1997</year>
<volume>7</volume>
<page-range>151-90</page-range></nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jakovljevic]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
<name>
<surname><![CDATA[Lesi]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Mitrovic]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Pajic]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Distributing sequential control for manufacturing automation systems]]></article-title>
<source><![CDATA[IEEE Transactions on Control Systems Technology]]></source>
<year>2019</year>
<volume>28</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>1586-94</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Júlvez]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Vázquez]]></surname>
<given-names><![CDATA[C. R.]]></given-names>
</name>
<name>
<surname><![CDATA[Mahulea]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Silva]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Continuous Petri nets: controllability and control]]></article-title>
<source><![CDATA[Control of Discrete-Event Systems: Automata and Petri Net Perspectives]]></source>
<year>2013</year>
<page-range>407-28</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kaid]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Al-Ahmari]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Li]]></surname>
<given-names><![CDATA[Z.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Colored resource-oriented Petri net based ladder diagrams for PLC implementation in reconfigurable manufacturing systems]]></article-title>
<source><![CDATA[IEEE Access]]></source>
<year>2020</year>
<volume>8</volume>
<page-range>217573-91</page-range></nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kanamaru]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Requirements for IT/OT Cooperation in Safe and Secure IACS]]></source>
<year>2020</year>
<conf-name><![CDATA[ 2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)]]></conf-name>
<conf-loc> </conf-loc>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[León]]></surname>
<given-names><![CDATA[A. A. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Alvarez]]></surname>
<given-names><![CDATA[J. R. N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[1D convolutional neural network for detecting ventricular heartbeats]]></article-title>
<source><![CDATA[IEEE Latin America Transactions]]></source>
<year>2019</year>
<volume>17</volume>
<numero>12</numero>
<issue>12</issue>
<page-range>1970-7</page-range></nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Li]]></surname>
<given-names><![CDATA[X.]]></given-names>
</name>
<name>
<surname><![CDATA[Xing]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhou]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Wang]]></surname>
<given-names><![CDATA[X.]]></given-names>
</name>
<name>
<surname><![CDATA[Wu]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modified dynamic programming algorithm for optimization of total energy consumption in flexible manufacturing systems]]></article-title>
<source><![CDATA[IEEE Transactions on Automation Science and Engineering]]></source>
<year>2019</year>
<volume>16</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>691-705</page-range></nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lin]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Luo]]></surname>
<given-names><![CDATA[J. L.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhou]]></surname>
<given-names><![CDATA[J. Z.]]></given-names>
</name>
<name>
<surname><![CDATA[Huang]]></surname>
<given-names><![CDATA[Y. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhou]]></surname>
<given-names><![CDATA[M. C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Scheduling and control of batch chemical processes with timed Petri nets]]></source>
<year>2016</year>
<conf-name><![CDATA[ 2016 IEEE International Conference on Automation Science and Engineering (CASE)]]></conf-name>
<conf-loc> </conf-loc>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Luo]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhang]]></surname>
<given-names><![CDATA[Q.]]></given-names>
</name>
<name>
<surname><![CDATA[Chen]]></surname>
<given-names><![CDATA[X.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhou]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modeling and race detection of ladder diagrams via ordinary Petri nets]]></article-title>
<source><![CDATA[IEEE Transactions on Systems, Man, and Cybernetics: Systems]]></source>
<year>2018</year>
<volume>48</volume>
<numero>7</numero>
<issue>7</issue>
<page-range>1166-76</page-range></nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lutz-Ley]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[López-Mellado]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Stability analysis of discrete event systems modeled by Petri nets using unfoldings]]></article-title>
<source><![CDATA[IEEE Transactions on Automation Science and Engineering]]></source>
<year>2018</year>
<volume>15</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>1964-71</page-range></nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Miyagi]]></surname>
<given-names><![CDATA[P. E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Controle programável: fundamentos do controle de sistemas a eventos discretos]]></source>
<year>1996</year>
<publisher-name><![CDATA[Editora Blucher]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Murata]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Petri nets: Properties, analysis and applications]]></article-title>
<source><![CDATA[Proceedings of the IEEE]]></source>
<year>1989</year>
<volume>77</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>541-80</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nuñez]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Pina]]></surname>
<given-names><![CDATA[I. F. B.]]></given-names>
</name>
<name>
<surname><![CDATA[Martínez]]></surname>
<given-names><![CDATA[A. R.]]></given-names>
</name>
<name>
<surname><![CDATA[Pérez]]></surname>
<given-names><![CDATA[S. D.]]></given-names>
</name>
<name>
<surname><![CDATA[de Oliveira]]></surname>
<given-names><![CDATA[D. L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Tools for the Implementation of a SCADA System in a Desalination Process]]></article-title>
<source><![CDATA[IEEE Latin America Transactions]]></source>
<year>2019</year>
<volume>17</volume>
<numero>11</numero>
<issue>11</issue>
<page-range>1858-64</page-range></nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nuñez]]></surname>
<given-names><![CDATA[J. R.]]></given-names>
</name>
<name>
<surname><![CDATA[Mestre]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Cabello]]></surname>
<given-names><![CDATA[J. J.]]></given-names>
</name>
<name>
<surname><![CDATA[Dominguez]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Fong]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Peña]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[De Oliveira]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Design of a fuzzy controller for a hybrid generation system]]></article-title>
<source><![CDATA[IOP Conference Series: Materials Science and Engineering]]></source>
<year>2020</year>
<volume>844</volume>
<numero>1</numero>
<issue>1</issue>
<publisher-name><![CDATA[IOP Publishing]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ogata]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Ingeniería de Control Moderna]]></source>
<year>2010</year>
<edition>5</edition>
<publisher-name><![CDATA[Pearson Prentice Hall]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ramadge]]></surname>
<given-names><![CDATA[P. J.]]></given-names>
</name>
<name>
<surname><![CDATA[Wonham]]></surname>
<given-names><![CDATA[W. M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The control of discrete event systems]]></article-title>
<source><![CDATA[Proceedings of the IEEE]]></source>
<year>1989</year>
<volume>77</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>81-98</page-range></nlm-citation>
</ref>
<ref id="B28">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Raman]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Sreenivas]]></surname>
<given-names><![CDATA[R. S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets]]></article-title>
<source><![CDATA[Automatica]]></source>
<year>2021</year>
<volume>125</volume>
</nlm-citation>
</ref>
<ref id="B29">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Reynard]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Gomis&#8208;Bellmunt]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Sudrià&#8208;Andreu]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Boix&#8208;Aragonès]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Benítez&#8208;Pina]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Flexible manufacturing cell SCADA system for educational purposes]]></article-title>
<source><![CDATA[Computer Applications in Engineering Education]]></source>
<year>2008</year>
<volume>16</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>21-30</page-range></nlm-citation>
</ref>
<ref id="B30">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rigó]]></surname>
<given-names><![CDATA[S. E. S.]]></given-names>
</name>
<name>
<surname><![CDATA[Laguardia]]></surname>
<given-names><![CDATA[A. S. M.]]></given-names>
</name>
<name>
<surname><![CDATA[Mederos]]></surname>
<given-names><![CDATA[O. P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Web Client and SCADA Applications for Monitoring the &#8220;Cayo Santa María&#8221;]]></article-title>
<source><![CDATA[Isolated Electric System. Sistemas &amp; Telemática]]></source>
<year>2018</year>
<volume>16</volume>
<numero>47</numero>
<issue>47</issue>
<page-range>59-70</page-range></nlm-citation>
</ref>
<ref id="B31">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Silva]]></surname>
<given-names><![CDATA[J. R.]]></given-names>
</name>
<name>
<surname><![CDATA[Benítez]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Villafruela]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Gomis]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Sudrià]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation]]></article-title>
<source><![CDATA[The International Journal of Advanced Manufacturing Technology]]></source>
<year>2008</year>
<volume>36</volume>
<page-range>1180-90</page-range></nlm-citation>
</ref>
<ref id="B32">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Silva]]></surname>
<given-names><![CDATA[J. R.]]></given-names>
</name>
<name>
<surname><![CDATA[Poli]]></surname>
<given-names><![CDATA[M. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Soares]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Mendez]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A holonic approach to the integration of automated systems]]></article-title>
<source><![CDATA[ABCM Symposium Series in Mechatronics]]></source>
<year>2010</year>
<volume>4</volume>
<page-range>442-50</page-range></nlm-citation>
</ref>
<ref id="B33">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Theis]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Mokhtarian]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Darabi]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Process mining of programmable logic controllers: Input/output event logs]]></source>
<year>2019</year>
<conf-name><![CDATA[ 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)]]></conf-name>
<conf-loc> </conf-loc>
</nlm-citation>
</ref>
<ref id="B34">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Uzam]]></surname>
<given-names><![CDATA[M. U. R. A. T.]]></given-names>
</name>
<name>
<surname><![CDATA[Jones]]></surname>
<given-names><![CDATA[A. H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Discrete event control system design using automation Petri nets and their ladder diagram implementation]]></article-title>
<source><![CDATA[The International Journal of Advanced Manufacturing Technology]]></source>
<year>1998</year>
<volume>14</volume>
<page-range>716-28</page-range></nlm-citation>
</ref>
<ref id="B35">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Yue]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Xu]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhou]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Hu]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Guo]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhang]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Estimation of least-cost transition firing sequences in labeled Petri nets by using basis reachability graph]]></article-title>
<source><![CDATA[IEEE Access]]></source>
<year>2019</year>
<volume>7</volume>
<page-range>165387-98</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
