Modelagem e controle de sistemas públicos de compartilhamento de bicicletas utilizando modelos em redes de Petri

Compartilhamento de bicicletas possui como princípio possibilitar que um indivíduo trafegue de um ponto a outro com bicicletas. Com base nessa concepção, originaram-se os sistemas públicos de compartilhamento de bicicletas (SPCB), que consistem em estações onde os usuários podem retirar ou remover bicicletas para se locomoverem entre elas. Dependendo do uso das estações, elas podem ficar vazias ou lotadas, restringindo a movimentação de bicicletas nelas. Uma maneira de solucionar esse problema é implementar estratégias de balanceamento utilizando-se um veículo para realizar trocas de bicicletas entre as estações, equilibrando-as. Neste artigo, será proposto um modelo de um SPCB genérico em redes de Petri para avaliar a eficiência de diferentes estratégias em um único algoritmo de simulação. O modelo proposto será validado pela análise do desempenho do projeto de SPCB Integra UFRJ com a combinação de três tipos diferentes de estratégias de balanceamento formuladas neste artigo.