Characterizing Workflow Nets Using Regions