1 / 6

Planning via Petri-net Unfolding

Planning via Petri-net Unfolding. Sebastian Sardina Zean Qin . Petri-Net. Planning via Petri-net Unfolding. IPC Petri-net closes related to concurrent system Good Petri-net analysis techniques like unfolding Planning via Petri-net unfolding

conor
Download Presentation

Planning via Petri-net Unfolding

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Planning via Petri-net Unfolding Sebastian Sardina Zean Qin

  2. Petri-Net

  3. Planning via Petri-net Unfolding • IPC • Petri-net closes related to concurrent system • Good Petri-net analysis techniques like unfolding • Planning via Petri-net unfolding • Translate traditional domains/problems file into Petri-nets using pddlcat • Solve the problem using Petri-net planner based on Mole using unfolding

  4. Petri-net Planner Repository Clean-up • A massive Petri-net planner repository • Unnecessary problem domains/files • Incomplete tests • Dated software • PDDL • Pddlcat • Sort out the repository • New software found and added • Information collected from different places are added and documented

  5. What a research life! • Research areas are advanced academic topics • Only a few people • Not many good documentations as commercial software • Do a lot of research to collect information, may even involve constantly guessing and correction • A bit scary at the beginning when get lost but always feel good in the end when something is finally cracked

  6. Thank You

More Related