Gustavo Ramos Zani, L., & Lemelle Fernandes, P. (2016). PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL. Revista Da Graduação, 9(1). Recuperado de https://revistaseletronicas.pucrs.br/graduacao/article/view/23959