Modification of Alpha++ for Discovering Collaboration Business Processes Containing Non-Free Choice | IEEE Conference Publication | IEEE Xplore