Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools. - Clarimundo Machado Moraes Junior; Rita Maria da Silva Julia; Stéphane Julia (ITNG, 2015)

Uma abordagem para avaliar o desempenho de algoritmos baseada em simulações automáticas de modelos de Petri coloridas hierárquicas - Clarimundo Machado Moraes Junior (2017)