Describir: Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems