Balancing dynamic bike-sharing systems: A Petri nets with variable arc weights based approach | IEEE Conference Publication | IEEE Xplore