Generating Symbolic Business Processes in Support of Evaluating Process Optimization | IEEE Conference Publication | IEEE Xplore