Browsing C3 - Mestrado em Engenharia da Computação by Subject "Redes de Petri"
-
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 ...