A Petri Nets-Based Simulation Methodology for Modular Modeling and Performance Evaluation of Car-Sharing Networks. - Ali Hamroun; Karim Labadi; Mourad Lazri; Jean-Pierre Barbot (IEEE Trans Autom. Sci. Eng., 2023)