Gravar-mail: The Equivalency between Logic Petri Workflow Nets and Workflow Nets