Guidelines by category: Process structure

Absence of deadlocks

Absence of multi-merges

Usage of explicit splits after activities

Usage of explicit splits after intermediate events

Usage of explicit splits after start events

Usage of explicit joins before activities

Absence of split and join behavior on one element

Absence of subprocess relation cycles