@inproceedings{inproceedings75762de6,
title   = {Applying petri nets to requirements validation},
author = {Silva, José Reinaldo and Santos, Eston Almança dos},
year = {2004},
publisher = {IFAC},
booktitle   = {IFAC Symposium on Information Control Problems in Manufacturing}
}