A three-level knowledge-based system for the generation of live and safe Petri nets for manufacturing systems
New generation manufacturing systems are involved in a transformation process which aims for more reliable production processes and with a lower response time to the demand of the market. This work presents an application of artificial intelligence planning techniques for the automatic generation of the control program for a manufacturing system expressed as a safe and live Petri net. The advantage of the system presented here is straightforward: it allows for a fast generation of sound results free of human errors, reducing the cost and duration of the development phase of control programs.
petri nets artificial intelligence planning intelligent manufacturing systems sequential control programs