Modeling Mobile Applications for Proximity-Based Promotion Delivery to Shopping Centers Using Petri Nets
| Audiencia | Público en general | es_ES |
| Cobertura | México | es_ES |
| Fecha de ingreso | 2026-09-15T00:30:15Z | |
| Fecha de publicación | 2025-01-01 | |
| Resumen | This article presents the design and implementation of an API that delivers real-time promotional notifications to mobile devices based on their proximity to shopping centers, calculated using the Haversine formula. Developed in Laravel, the API determines whether a mobile device is within a 600 m radius of any registered shopping center, such as Soriana, GranD, and HEB, and sends the relevant promotional information. The system uses Petri nets to model asynchronous behavior, enabling efficient concurrency management between the mobile application and the API. This structure ensures optimized message delivery, preventing communication collisions and delays. The mobile application, developed in Kotlin, integrates geolocation services to capture and update the user’s location in real time. The results indicate an improvement in response time and proximity detection accuracy, highlighting the effectiveness of the Petri net model for systems requiring concurrent interaction. The combination of Laravel, Kotlin, and formal modeling with Petri nets proves to be an effective and scalable solution for proximity-based mobile applications. | es_ES |
| Doi | https://doi.org/10.3390/computers14020050 | es_ES |
| URI | https://riuat.uat.edu.mx/handle/123456789/2199 | |
| Idioma | es | es_ES |
| Editorial | MDPI AG | es_ES |
| Relación | Computers | es_ES |
| URL relacionado | https://doi.org/10.3390/computers14020050 | es_ES |
| Derechos | Acceso abierto (Metadatos de producción científica) | es_ES |
| Licencia | http://purl.org/coar/access_right/c_abf2 | es_ES |
| Fuente | Computers | |
| Título | Modeling Mobile Applications for Proximity-Based Promotion Delivery to Shopping Centers Using Petri Nets | es_ES |
| Tipo | Artículo | es_ES |
| Arbitrado | Ha sido Arbitrado | es_ES |
| Autor | Velazquez, Julian | |
| Autor | Machucho, Ruben | |
| Autor | Lopez, Jose F. | |
| Autor | Herrera, Hiram | |
| Autor | Hernandez-Almazan, Jorge-Arturo | |
| Autor | Velazquez, Julian | es_ES |
| Autor | Machucho, Ruben | es_ES |
| Autor | Lopez, Jose F. | es_ES |
| Autor | Herrera, Hiram | es_ES |
| Autor | Hernandez-Almazan, Jorge-Arturo | es_ES |
| Institución | Universidad Autónoma de Tamaulipas | |
| Institución | Universidad Autónoma de Tamaulipas | es_ES |
| Número | 2 | es_ES |
| Rango de páginas | 50 | es_ES |
| URL relacionada | https://doi.org/10.3390/computers14020050 | |
| Tipo de artículo | Indexado | |
| Tipo de artículo | Indexado | es_ES |
| Volumen | 14 | es_ES |