Abstract This thesis extends Workflow Intuitive Formal Approach (WIFA), an intuitive yet formal workflow formalism introduced to satisfy the workflow management needs of incident command systems, to take resources into account when modeling and enacting workflows. Resources can become important decision factors when combined with control flow information. In many situations, business processes are constrained by scarce resources. The lack of resources can cause contention, the need for some tasks...