A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs. (March 2016)