relation: http://eprints.imtlucca.it/1018/
title: Action planning for graph transition systems
creator: Edelkamp, Stefan
creator: Jabbar, Shahid
creator: Lluch-Lafuente, Alberto
subject: QA75 Electronic computers. Computer science
description: 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. 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.
date: 2005-06
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1018/1/edelkamp_jabbar_lluch-lafuente2005.pdf
identifier:   Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto  Action planning for graph transition systems.  In: ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems, 5th-10th June 2005, Monterey, California, USA       (Unpublished)   (2005)  
relation: http://planning.cis.strath.ac.uk/vvpsws/Accepted/paper8.pdf