Resource-Constrained Workflow Nets