Applying Petri nets to requirements validation - Silva, José Reinaldo; Santos, Eston Almança dos (Mechatronics, 2004)