Modeling, Relocation, and Real-Time Inventory Control of One-Way Electric Cars Sharing Systems in a Stochastic Petri Nets Framework | IEEE Journals & Magazine | IEEE Xplore