The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework