A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems | IEEE Conference Publication | IEEE Xplore