A master thesis from Aalborg University
Translating Colored Petri Nets to Lifted Numeric Planning Tasks: Lifted Planning Tasks to Colored Petri Nets
Author(s)
Term
4. term
Education
Publication year
2024
Submitted on
2024-06-07
Pages
57 pages
Abstract
We present a novel method for translating general colored Petri nets to lifted numerical planning tasks, along with arguments for its correctness. Additionally, the paper also presents an improvement to a previous translation of classical lifted planning to a CPN. Both translations are implemented, have their output validated, and are run against other tools. The first translation is run with the numeric planner ENHSP and is compared to the Petri net verification tool TAPAAL. The second translation is run in TAPAAL and compared to a translation made from a grounded planning task and the powerful Fast Downward configuration, lama-first. The first translation is generally outperformed by TAPAAL, but more importantly, it correctly categorizes reachability queries within the limitation of the theorem as satisfiable or unsolvable, with a proposed solution for removing the limitation. The second translation is an improvement to the former, but is still substantially slower than the Fast Downward configuration and the grounded translation. However, its outputs are correct and it can now translate a much larger subset of lifted planning tasks.
Keywords
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.