Gustavo Ramos Zani, Luis, e Paulo Lemelle Fernandes. 2016. “PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL”. Revista Da Graduação 9 (1). https://revistaseletronicas.pucrs.br/graduacao/article/view/23959.