Polynomial Time Solvability of Response Property for Sound Acyclic Free Choice Workflow Nets | IEEE Conference Publication | IEEE Xplore