A Petri Nets-Based Simulation Methodology for Modular Modeling and Performance Evaluation of Car-Sharing Networks | IEEE Journals & Magazine | IEEE Xplore