Modeling Mobile Applications for Proximity-Based Promotion Delivery to Shopping Centers Using Petri Nets. - Julian Velazquez; Ruben Machucho-Cadena; José Fidencio López Luna; Hiram Herrera-Rivas; Jorge-Arturo Hernández-Almazán (Comput., 2025)