Choosing an appropriate process-mining tool does not end with assessing the features for analytics; rather, a deeper dive is ...