uppaal

0Hitze

1Antwort

Wie kann ich die Daten von UPPAAL simulator eps-Datei analysieren?

Ich habe den Automaten ausgeführt und die EPS-Datei exportiert. Aber wie kann ich weiter Informationen aus der EPS-Datei analysieren und erhalten? Ist es möglich, Variablenwerte in eine externe Protok