Browsing C3 - Centro de Ciências Computacionais by Subject "Redes de Petri"
-
Modelagem e simulação do tráfego de veículos e controle semafórico em um ambiente virtual
(2006)Simular o trânsito de áreas urbanas de maneira realista em um ambiente virtual é uma tarefa complexa de ser implementada, pois muitas características precisam ser desenvolvidas. Neste trabalho, propomos a utilização de ... -
Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
(2018)Os Sistemas Multiagentes (SMA) possuem propriedades que dificultam prever completamente seus comportamentos. Para limitar comportamentos atípicos, modelos organizacionais, como o Moise, podem ser empregados para especificar ...