KS-Diff: A Key Structure Based Difference Detection Method for Process Models | IEEE Conference Publication | IEEE Xplore