The Planning Net: A Structure to Improve Planning Solvers with Petri Nets

Marcos A. Schreiner, Marcos A. Castilho, Fabiano Silva, Luis A. Kunzle and Razer A. N. R. Montaño
Additional contact information
Marcos A. Schreiner: Department of Informatics, Federal University of Paraná, Curitiba, Brazil
Marcos A. Castilho: Department of Informatics, Federal University of Paraná, Curitiba, Brazil
Fabiano Silva: Department of Informatics, Federal University of Paraná, Curitiba, Brazil
Luis A. Kunzle: Department of Informatics, Federal University of Paraná, Curitiba, Brazil
Razer A. N. R. Montaño: Department of Informatics, Federal University of Paraná, Curitiba, Brazil

International Journal of Natural Computing Research (IJNCR), 2015, vol. 5, issue 2, 16-36

Abstract: In this paper the classical planning problem is formalized as a Petri Net. The authors review the Graphplan notions of mutex relation and maintenance actions based on the Petri Net flow. They also classify pairs of conflicting actions in terms of four different control structures, which are used to build the Plan Net. In addition the authors present the order relation of propositions, i.e., pairs of conflicting propositions that allow inclusion of more information in the Planning Net. The planning problem represented on Planning Net is translated into a SAT instance and solved by a modern SAT solver. The authors show the advantages provided by the inclusion of the propositions ordering relation and compare their experimental results with Satplan.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/ijncr.2015040102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jncr00:v:5:y:2015:i:2:p:16-36

Access Statistics for this article

International Journal of Natural Computing Research (IJNCR) is currently edited by Xuewen Xia

More articles in International Journal of Natural Computing Research (IJNCR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().