LoLA as Abstract Planning Engine of PlanICS.
Artur Niewiadomski, Karsten Wolf · 2014
Abstract. An abstract planning (AP) is the first phase of the web ser-vice composition in the Planics framework. We propose an automatic translation of AP to reachability problem in high-level Petri nets, and exploiting the LoLA tool to solve it. We present our approach together with a prototype implementation, and preliminary experimental results.