WoPeD - An Educational Tool for Workflow Nets. · Study