Controllability of Open Workflow Nets. · Study