Entwicklung und Implementierung von Heuristiken zur optimierten ...

• bf (c+r): In diesem Fall werden die Werte von cost und remaining addiert
und der Pfad mit niedrigster Summe gewählt ( best first“). ”
• rbdf (c+r): Ähnelt bf (c+r)“, bei Gleichheit der Summe von cost und
”
remaining wird zufällig entschieden, welcher Pfad weiter betrachtet wird.
Außerdem gibt es weitere Optionen in UPPAAL CORA, mit denen bsplw. die
Ausgabe des gefundenen Ablaufs eingestellt werden kann. Diese sind allerdings in
diesem Text nicht weiter von Belang, sondern lediglich für die Versuche mit UPPAAL
CORA wichtig.
23