TAR：an improved process similarity measure based on unfolding of Petri nets