research algorithms about process minining