@misc{miscb473a5ad,
title   = {Ferramenta de validaçåo de requisitos utilizando Redes de Petri},
author = {Curdulino, Raucer and Horikawa, Ricardo Takao and Sabanai, Rodrigo Akira Sanomia and Silva, José Reinaldo},
year = {2003}
}