and two algorithms to select the best compositions based on this metric. Both algorithms
follow different strategies to prune the space of possibilities while minimizing the evaluation
cost. The first algorithm, DP-BF, combines a best first strategy with a dynamic-programming
technique. The second one, PT-SAM, adapts a Petri-net unfolding algorithm and tries to find
a desired marking from an initial state. An experimental study was conducted in order to …