Gravar-mail: Formal Verification for Task Description Languages. A Petri Net Approach