Process mining using α-algorithm as a tool (A case study of student registration) | IEEE Conference Publication | IEEE Xplore