@misc{misc700d0f76,
title   = {Especificando requisitos de sistemas com redes de Petri},
author = {Santos, Eston Almança dos and Silva, José Reinaldo},
year = {2003},
publisher = {EPUSP}
}