Как я могу анализировать данные из файла eps симулятора UPPAAL?

Нет смысла анализировать eps (они должны быть включены в отчет). Для анализа данных попробуйте следующее в верификаторе, используя simulate (Uppaal 4.1) запросы, подобные этому:

simulate 1 [<=300] { 
  (T(1).Ready+2*T(1).Computing+3*T(1).Release+4*T(1).Error)+8,
  (T(2).Ready+2*T(2).Computing+3*T(2).Release+4*T(2).Error)+4,
  (T(3).Ready+2*T(3).Computing+3*T(3).Release+4*T(3).Error)+0
}

где T(i) — процесс, а Ready, Computing, Release и Error — его местоположения. Затем проверьте модель запроса, щелкните его правой кнопкой мыши и посмотрите график, затем:

а) щелкните правой кнопкой мыши на графике и выберите Export -> comma separated values,

or:

б) проанализируйте значения графика из стандартного вывода Verita (инструмент командной строки) при проверке запроса выше.