Title :
Application of Petri nets to FMS programming systems: K-NET
Author :
Nagao, Yoichi ; Kumagai, Sadatosahi
Author_Institution :
Kawasaki Heavy Ind. Ltd., Japan
Abstract :
The authors introduce a new mature support system for the development of flexible manufacturing system (FMS) control software, K-NET. The system is based on the Petri net description model combined with a conventional procedural language. This system supports all development stages including high level design, detailed design, programming and testing in a consistent manner. A descriptive model of sequence control by Petri nets has become attractive due to its graphical feature and mathematical formalism. The main advantages of net formalism in FMS control programming are demonstrated. A successful application of K-NET to develop a control system for automated guided vehicles (AGVs) is reported
Keywords :
Petri nets; automatic guided vehicles; flexible manufacturing systems; project support environments; AGVs; FMS control programming; FMS programming systems; K-NET; Petri net description model; Petri nets; automated guided vehicles; control software; control system; detailed design; flexible manufacturing system; graphical feature; high level design; mathematical formalism; mature support system; net formalism; procedural language; programming; testing; Automatic control; Automatic generation control; Control systems; Electrical equipment industry; Flexible manufacturing systems; Logic programming; Petri nets; Process control; Programmable control; Robot programming;
Conference_Titel :
Circuits and Systems, 1991., IEEE International Sympoisum on
Print_ISBN :
0-7803-0050-5
DOI :
10.1109/ISCAS.1991.176514
