UPPAALシミュレータのepsファイルからデータを解析するにはどうすればよいですか？

Question

私はオートマトンを走らせ、epsファイルをエクスポートしました。しかし、さらに分析し、epsファイルから情報を得るにはどうすればよいですか？ 変数値を外部ログファイルに書き込むことはできますか？ ありがとうございます

Answer 1

epsを分析するポイントはありません（これらはレポートに含まれています）。データ解析のため このようsimulate（UPPAAL 4.1）クエリを使用して検証者に次のよう試みる：T(i)プロセスとReady、Computing、ReleaseとErrorはその位置である

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 
} 

。 ）

B： - ：次に、クエリをモデルチェック、それを右クリックし、プロットを参照してください、そして>comma separated values、

または

a）は、プロットを右クリックしてExportを選択上記のクエリーを検証する際には、testta（コマンドラインツール）の標準出力からプロット値を解析します。