Probabilistic Petri Nets Model for Assessing Temporal Variations of the Number of Bikes in Bike-Sharing Stations | IEEE Conference Publication | IEEE Xplore