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

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.<
>