Gravar e-mail: Modeling Mobile Applications for Proximity-Based Promotion Delivery to Shopping Centers Using Petri Nets