The problem of fault diagnosis of discrete event systems concerns the capacity to detect and isolate the occurrence of fault events. In this work, we propose a labeled priority diagnoser Petri net that is obtained from the Petri net of the system to be diagnosed. The diagnoser Petri net transitions are labeled only by observable events and its reachable states have enough information to allow the diagnoser to be sure about the fault occurrence. As in previous works, we assume that the Petri net of the system to be diagnosed does not possess cycles involving places and unobservable transitions. In addition, for a class of Petri nets, the diagnoser will have a structure that does not grow indefinitely due to event observations, making the diagnoser proposed here able to execute the online diagnosis of a class of Petri nets that previous works were only able to diagnose with structures that are likely to grow indefinitely for specific sequences of event observations. Resumo: O problema da diagnose de falha em sistemas a eventos discretos está associado com a capacidade de se detectar e isolar a ocorrência de eventos de falha. Neste artigo, será proposto um algoritmo para construir uma rede de Petri diagnosticadora rotulada com prioridades a partir da rede de Petri do sistema a ser diagnosticado, cujas transições são rotuladas apenas por eventos observáveis e cujos estados alcançáveis possuem informações necessárias para que o diagnosticador possa ter certeza da ocorrência de falha. Assim como em trabalhos anteriores, supõe-se que a rede de Petri do sistema a ser diagnosticado não possui ciclos envolvendo lugares e transições não observáveis. Além disso, para uma classe de redes de Petri, o diagnosticador proposto terá uma estrutura que não crescerá indefinidamente em decorrência das observações de eventos, fazendo com que o diagnosticador aqui proposto seja capaz de executar o diagnóstico online de classes de redes de Petri que trabalhos anteriores somente são capazes de diagnosticar com estruturas passíveis de crescimento indefinido para determinadas sequências de observações de eventos.
Bicycle sharing has, as principle, to allow people to travel between two points using a bicycle, being public bicycle sharing systems (PBSS) originated from. PBSS are formed with stations where users can pick up bicycles to move themselves around the stations. Depending on the usage of the stations, they may have all the bicycles removed from them or may become full, restricting the movement of bicycles through the stations. One way to solve this issue is to implement balancing strategies by using a vehicle to exchange bicycles between stations, balancing them. In this paper, we proposed a model of a generic PBSS using Petri nets in order to evaluate different strategies based on a single simulation algortithm. The proposed model is then validated by an analyze of the design of Integra UFRJ PBSS system with the combination of three different balancing strategies, also proposed in this paper. Resumo: 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 de estações onde os usuários podem retirar 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 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 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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.