Process mining: software comparison, trends, and challenges · Study