Work

Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets