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