Application of Petri nets to FMS programming systems: K-NET

Author

Nagao, Yoichi ; Kumagai, Sadatosahi

Author_Institution

Kawasaki Heavy Ind. Ltd., Japan

fYear

1991

fDate

11-14 Jun 1991

Firstpage

922

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1991., IEEE International Sympoisum on

Print_ISBN

0-7803-0050-5

Type

conf

DOI

10.1109/ISCAS.1991.176514

Filename

176514