A Petri Net Model of Location-Based Content Providing Systems