Verificação de requisitos de sistemas utilizando redes de Petri.
Santos, Eston Almança Dos
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2002-12-16
Acesso online. A biblioteca também possui exemplares impressos.