Characterizing workflow nets using regions