Applying petri nets to requirements validation - Silva, José Reinaldo; Santos, Eston Almança dos (IFAC Symposium on Information Control Problems in Manufacturing, 2004)