@inbook{inbook2e4d8bbd,
title   = {Applying Petri nets to requirements validation},
author = {Silva, José Reinaldo and Santos, Eston Almança dos},
year = {2004},
publisher = {ABCM},
journal   = {Mechatronics}
}