An Example Petri Net Model of a Location-Based Service