<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Heuristic Search for the Analysis of Graph Transition Systems"^^ . "Graphs are suitable modeling formalisms for software and hardware systems involving aspects such as communication, object 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. Heuristic search is a successful Artificial Intelligence technique for solving exploration problems implicitly present in games, planning, and formal verification. Heuristic search exploits information about the problem being solved to guide the exploration process. The main benefits are significant reductions in the search effort and the size of solutions. We propose the application of heuristic search for the analysis of graph transition systems. We define algorithms and heuristics and present experimental results."^^ . "2006" . . "4178" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Stefan"^^ . "Edelkamp"^^ . "Stefan Edelkamp"^^ . . "Hartmut"^^ . "Ehrig"^^ . "Hartmut Ehrig"^^ . . "Andrea"^^ . "Corradini"^^ . "Andrea Corradini"^^ . . "Shahid"^^ . "Jabbar"^^ . "Shahid Jabbar"^^ . . "Grzegorz"^^ . "Rozenberg"^^ . "Grzegorz Rozenberg"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Leila"^^ . "Ribeiro"^^ . "Leila Ribeiro"^^ . . . . . . "Heuristic Search for the Analysis of Graph Transition Systems (PDF)"^^ . . . . . . . . . . . "edelkamp_jabbar_lluch-lafuente2006a.pdf"^^ . . . "Heuristic Search for the Analysis of Graph Transition Systems (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Heuristic Search for the Analysis of Graph Transition Systems (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #157 \n\nHeuristic Search for the Analysis of Graph Transition Systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .