Process mining applied on library information systems: A case study · Study