Real-time inventory control and rebalancing in bike-sharing systems by using a stochastic Petri net model | IEEE Conference Publication | IEEE Xplore