<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Action planning for graph transition systems"^^ . "Graphs are suitable modeling formalisms for software and hardware systems involving aspects such as communication,\r\nobject orientation, concurrency, mobility and distribution. State spaces of such systems can be represented by graph transition systems, which are basically transition systems whose states and transitions represent graphs and graph morphisms. In this paper, we propose the modeling of graph transition systems in PDDL and the application of heuristic search planning for their analysis. We consider different heuristics and present experimental results."^^ . "2005-06" . . . . . . . . . . . . . . "Stefan"^^ . "Edelkamp"^^ . "Stefan Edelkamp"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Shahid"^^ . "Jabbar"^^ . "Shahid Jabbar"^^ . . . . "ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems"^^ . . . . . "Monterey, California, USA"^^ . . . . . . "Action planning for graph transition systems (PDF)"^^ . . . . . "edelkamp_jabbar_lluch-lafuente2005.pdf"^^ . . . "Action planning for graph transition systems (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "Action planning for graph transition systems (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "Action planning for graph transition systems (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "Action planning for graph transition systems (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . . "Action planning for graph transition systems (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #1018 \n\nAction planning for graph transition systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .