<?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>2007-8196</journal-id>
<journal-title><![CDATA[Epistemus (Sonora)]]></journal-title>
<abbrev-journal-title><![CDATA[Epistemus (Sonora)]]></abbrev-journal-title>
<issn>2007-8196</issn>
<publisher>
<publisher-name><![CDATA[Universidad de Sonora, División de Ingeniería]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S2007-81962022000200026</article-id>
<article-id pub-id-type="doi">10.36790/epistemus.v16i33.221</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Las redes de Petri y su adopción en programas de la Universidad de Sonora]]></article-title>
<article-title xml:lang="en"><![CDATA[Petri Nets and their Adoption in Programs of the University of Sonora]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Jiménez Serrano]]></surname>
<given-names><![CDATA[Eleazar]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de Sonora  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2022</year>
</pub-date>
<volume>16</volume>
<numero>33</numero>
<fpage>26</fpage>
<lpage>32</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S2007-81962022000200026&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S2007-81962022000200026&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S2007-81962022000200026&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen Las redes de Petri (PN) pertenecen a una técnica que está ganando popularidad en diferentes sectores industriales, como el automotriz. En este manuscrito se explican brevemente las PN, su historia y algunas extensiones para aumentar las capacidades en la modelación. Asimismo, dos ejemplos de modelos de PN para la industria automotriz, uno para la verificación de un software para el cálculo de posicionamiento vehicular por GPS, y el segundo para la simulación de una cadena de suministro automotriz. Al final se incluye una breve conclusión orientada a su adopción en los programas del departamento de ingeniería industrial de la Universidad de Sonora (UNISON).]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract Petri nets (PNs) belong to a technique gaining popularity in different industrial sectors, such as the automotive industry among others. Hereby, PNs are briefly explained, including their history and the description of some extensions useful to increase modeling capabilities. Additionally, two examples of PN models for the automotive industry are presented, one for the software´s verification on the calculation of vehicle positioning by GPS, and the second for the simulation of an automotive supply chain. In the end, a brief conclusion is included aiming the adoption of PNs in the programs of the department of industrial engineering of the University of Sonora (UNISON).]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[Redes de Petri]]></kwd>
<kwd lng="es"><![CDATA[simulación de sistemas de manufactura]]></kwd>
<kwd lng="es"><![CDATA[verificación de software]]></kwd>
<kwd lng="en"><![CDATA[Petri nets]]></kwd>
<kwd lng="en"><![CDATA[simulation of manufacturing systems]]></kwd>
<kwd lng="en"><![CDATA[software verification]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Serrano]]></surname>
<given-names><![CDATA[Eleazar Jiménez]]></given-names>
</name>
</person-group>
<source><![CDATA[Reporte de trabajo interno a Nidec Corp. sobre la cadena de suministro a nivel Tier-2 de motores eléctricos de la unidad de negocios automotrices de Nidec]]></source>
<year>2019</year>
<publisher-loc><![CDATA[Shiga, Japón ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Serrano]]></surname>
<given-names><![CDATA[Eleazar Jiménez]]></given-names>
</name>
</person-group>
<source><![CDATA[System and software verification using Petri nets. For functional safety of ISO-26262 requirements]]></source>
<year>2020</year>
<publisher-loc><![CDATA[New York, NY, USA ]]></publisher-loc>
<publisher-name><![CDATA[Amazon press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Reisig]]></surname>
<given-names><![CDATA[Wolfgang]]></given-names>
</name>
</person-group>
<source><![CDATA[Understanding Petri nets]]></source>
<year>2013</year>
<publisher-loc><![CDATA[Berlin Heidelberg ]]></publisher-loc>
<publisher-name><![CDATA[Springer-Verlag]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Brauer]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Reisig]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Rozenberg]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Petri nets: Central models and their properties]]></source>
<year>1987</year>
<publisher-name><![CDATA[Springr-Verlag]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Serrano]]></surname>
<given-names><![CDATA[Eleazar Jiménez]]></given-names>
</name>
</person-group>
<source><![CDATA[Estimation of the size of state space of Petri nets to determine the size of hash tables,]]></source>
<year>2013</year>
<conf-name><![CDATA[ 12th WSEAS Int. Conf. on Applications of Computer Engineering]]></conf-name>
<conf-loc> </conf-loc>
<page-range>55-60</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Busi]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Analysis issues in Petri nets with inhibitor arcs]]></article-title>
<source><![CDATA[Theoretical Computer Science]]></source>
<year>2002</year>
<numero>275</numero>
<issue>275</issue>
<page-range>127-77</page-range></nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Serrano]]></surname>
<given-names><![CDATA[Eleazar Jiménez]]></given-names>
</name>
</person-group>
<source><![CDATA[Multiple and simultaneous control using Controlled Dan Petri nets]]></source>
<year>2008</year>
<publisher-name><![CDATA[Universidad de Kyushu]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Popova-Zeugmann]]></surname>
<given-names><![CDATA[Louchka]]></given-names>
</name>
</person-group>
<source><![CDATA[Time and Petri Nets]]></source>
<year>2013</year>
<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[Balbo]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Introduction to generalized stochastic Petri nets]]></article-title>
<source><![CDATA[LNCS]]></source>
<year>2007</year>
<volume>4486</volume>
<page-range>83-131</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dyke Parunak]]></surname>
<given-names><![CDATA[H. Van]]></given-names>
</name>
<name>
<surname><![CDATA[Savit]]></surname>
<given-names><![CDATA[Robert]]></given-names>
</name>
<name>
<surname><![CDATA[Rick]]></surname>
<given-names><![CDATA[L. Riolo]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Agent-based modeling vs. equation-based modeling: a case study and users&#8217; guide]]></article-title>
<source><![CDATA[Proceedings of Multi-agent systems and Agent-based Simulation]]></source>
<year>1998</year>
<page-range>10-25</page-range></nlm-citation>
</ref>
<ref id="B11">
<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="B12">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bordbar]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Giacomini]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Holding]]></surname>
<given-names><![CDATA[D.J.]]></given-names>
</name>
</person-group>
<source><![CDATA[UML and Petri nets for design and analysis of distributed systems]]></source>
<year>2000</year>
<conf-name><![CDATA[ Proceedings of the IEEE International Conference on Control Applications]]></conf-name>
<conf-loc> </conf-loc>
<page-range>610-5</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
