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 proce ss which aims for more reliable production processes and with a lower respo nse 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 liv e Petri net. The advantage of the system presented here is straightforward: it allows for a fast generation of sound results free of human errors, red ucing the cost and duration of the development phase of control programs.