Verification Of Wf-nets by