Issue:Generalized net representation of workflow nets