Ingrid Antunes, Lilian K. Carvalho, João Carlos Basilio: A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems. CASE 2016: 433-439