Process Mining: descobrint models formals a partir de logs d’un sistema

L’objectiu d’aquest projecte es el desenvolupament d’una eina que faciliti certs aspectes del Process Mining. En concret, es preten crear una aplicacio que complementi el funcionament de l’eina Genet