Εύρεση, Ανάλυση και Βελτίωση των Μοντέλων Απεικόνισης Eπιχειρησιακών Διαδικασιών με τη χρήση ProM