LoLA wird Pfadfinder

Annual Linux Symposium 2006

Karsten Schmidt

Others  :  http://CEUR-WS.org/Vol-26/schmidt.pdf
PID  :  973

来源: CEUR

【 摘 要 】

LoLA ist ein erreichbarkeitsgraphbasiertesWerkzeug fur Stellen/Transitions-Netze. Hier geht es um LoLAs Fahigkeit, erreichbare Zustande mit vorgegebenen Eigenschaften zu suchen und im Erfolgsfall einen solchen Zustand mit einem Weg von der Anfangsmarkierung dorthin anzugeben. Die Besonderheit besteht darin, da wahrend der Suche nur zwei Zustande gespeichert werden: der Anfangszustand und der aktuelle Zustand. Anstatt also den Zustandsraum systematisch zu durchmustern (und dabei meist am Speicherende zu scheitern), navigiert LoLA ohne Kenntnis der schonbetretenen Zustande durch den Erreichbarkeitsgraph. Da sie trotzdem ihre Aufgabe erfolgreich lost, liegt an ihren spezifischen Fahigkeiten: Schnelligkeit, Bescheidenheit, Zielstrebigkeit, Neugier und Ausdauer.[firstparagraph]