Um modelo em redes de Petri estocásticas para a simulação e análise de desempenho de sistemas públicos de compartilhamento de bicicletas
Ingrid Antunes1; Lilian K. Carvalho1; João C. Basilio1
1 UFRJ-COPPE Programa de Engenharia Elétrica
Resumo
O objetivo de um sistema público de compartilhamento de bicicletas (SPCB) é muito simples: permitir que alguém retire uma bicicleta em um determinado ponto de uma região e retorne-a em um outro lugar. Para garantir a disponibilidade de bicicletas, um veículo de redistribuição é utilizado para levar as bicicletas das estações que estão quase lotadas para aquelas quase vazias; esta operação é denominada balanceamento. Isso leva à formulação de um importante problema, isto é, a modelagem de um SPCB adequado para simular estratégias de balanceamento antes de sua implementação no sistema real. Neste artigo, consideramos o problema de se modelar SPCB utilizando redes de Petri generalizadas. O modelo proposto possui as seguintes vantagens: \textit{(i)} SPCBs com qualquer número de estações podem ser modelados; \textit{(ii)} ele leva em conta a natureza estocástica do SPCB. Baseado no modelo proposto, será desenvolvido um algoritmo de simulação de SPCBs que permite validar estratégias de balanceamento que estão sendo desenvolvidas. Um exemplo aplicado a um SPCB real será utilizado para ilustrar o modelo proposto e o algoritmo de simulação.
Palavras-chave: Siustemas a eventos discretos; Redes de Petri; Sistemas públicos de compartilhamento de bicicletas