“…The design of the sequential control program for a manufacturing system, i.e the ordered sequence of actions with all of the actions of devices needed to transform the raw products into the manufactured ones, is a difficult task which is traditionally carried out by engineers by hand using modelling tools. Artificial intelligence techniques are proving to be very useful in solving this task, allowing for an error-free, fast and low cost building process of these control programs [23,26,41,42,47,50,52]. In particular, it is becoming an area of growing interest for researchers from the field of AI planning systems [4,15,37,63].…”