Application of Petri nets to FMS programming systems: K-NET
Yoichi Nagao, Satoshi Kumagai · 1991
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.>