Describir: An Approach Based in Petri Net for Requirement Analysis