Is this true? Running a semantic check (structure rules for process models) on an EPC produces this rule violation. The model has a loop (a rule branches back to a prior rule).
pseudocode:
Submit Article
Review Article
1a if Article needs revision
1b Revise Article
1c (back to) Submit Article
How then should one express such a typical scenario?