Resumen

JIMENEZ SERRANO, Eleazar. Petri Nets and their Adoption in Programs of the University of Sonora. Epistemus (Sonora) [online]. 2022, vol.16, n.33, pp.26-32.  Epub 19-Mayo-2023. ISSN 2007-8196.  https://doi.org/10.36790/epistemus.v16i33.221.

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).

Palabras llave : Petri nets; simulation of manufacturing systems; software verification.