@mastersthesis{mastersthesis9b82675a,
title   = {Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri},
author = {Salmon, Arianna Zoila Olivera and Silva, José Reinaldo},
year = {2017},
school = {Universidade de São Paulo}
}