On the discovery of process models from their instances · Study