Please use this identifier to cite or link to this item: http://hdl.handle.net/2440/44792
Type: Conference paper
Title: Planning via petri net unfolding
Author: Hickmott, S.
Rintanen, J.
Thiebaux, S.
White, L.
Citation: Proceedings of the 20th IJCAI-07, 2007 / pp.1-8
Publisher: IJCAI
Publisher Place: India
Issue Date: 2007
Conference Name: International Joint Conference on Artificial Intelligence (20th : 2007 : Hyderabad, India)
Statement of
Responsibility: 
Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux, Lang White
Abstract: The factored state representation and concurrency semantics of Petri nets are closely related to those of concurrent planning domains, yet planning and Petri net analysis have developed independently, with minimal and usually unconvincing attempts at cross-fertilisation. In this paper, we investigate and exploit the relationship between the two areas, focusing on Petri net unfolding, which is an attractive reachability analysis method as it naturally enables the recognition and separate resolution of independent subproblems. On the one hand, based on unfolding, we develop a new forward search method for cost-optimal partial-order planning which can be exponentially more efficient than state space search. On the other hand, inspired by well-known planning heuristics, we investigate the automatic generation of heuristics to guide unfolding, resulting in a more efficient, directed reachability analysis tool for Petri nets.
RMID: 0020075335
Published version: http://www.ijcai.org/papers07/contents.php
Appears in Collections:Electrical and Electronic Engineering publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.