Entwicklung und Implementierung von Heuristiken zur optimierten ...

für eine Treibertransition bemerkbar. Dies kann daran liegen, dass Pfade, auf denen
Treibertransitionen genommen werden, von UPPAAL CORA zunächst nicht weiter
betrachtet werden. UPPAAL CORA findet dann schneller einen gewünschten Ablauf,
da das System auch keine Treibertransitionen ausführen muss, um das Blech
auf das Ende des Ausgabeförderbandes zu transportieren.
∑ ∏
C 1 C 2 C 3 | bf df rdf shf
∑
0 0 10
1.22
∑
0 1 10
1.23
∏
0 0 10
1.22
∏
0 1 10 5.41 127.74 1.23 7 1.23
∑
0 0 10*
1.22
∑
0 1 10*
1.23
∏
0 0 10*
1.23
∏
0 1 10*
1.22
Tabelle 5: Evaluation mit zwei Blechen (Ziele: start fb, end fb)
∑ ∏
C 1 C 2 C 3 | bf df rdf shf
∑
0 0 10
2.55
∑
0 1 10
2.65
∏
0 0 10
2.56
∏
0 1 10 k.A. 8 128.95 1.94 9 2.65
∑
0 0 10*
3.16
∑
0 1 10*
3.47
∏
0 0 10*
3.27
∏
0 1 10*
3.47
Tabelle 6: Evaluation mit zwei Blechen (Ziele: start fb, on tb)
7 Dieses Ergebnis wurde bei drei Versuchen erzielt, die restlichen sieben Versuche blieben erfolglos.
8 Nach ca. 30 Minuten war der vorgesehene Speicher von 900 MB aufgebraucht.
9 Dieses Ergebnis wurde bei einem Versuch erzielt, die restlichen neun Versuche blieben erfolglos.
37