Rodrigues, Bruno, and Eder Mateus Gonçalves.
" Evaluation of the testability of the Moise+ organizational model based on Petri Nets." <em>Proceedings of the 12th Workshop-School on Agents, Environments, and Applications,
Fortaleza/CE, 2018</em>. SBC, 2018,  
pp.97-108.