Stochastic Petri Net Modeling, Simulation and Analysis of Public Bicycle Sharing Systems | IEEE Journals & Magazine | IEEE Xplore