Describir: The equivalency between logic Petri workflow nets and workflow nets.