A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs