Title :
Petri net based programming system for FMS
Author :
Nagao, Y. ; Yamauchi, T. ; Ohta, H. ; Urabe, H. ; Matsuura, S. ; Kumagai, S. ; Kodama, S.
Author_Institution :
Kawasaki Heavy Ind. Ltd., Hyogo, Japan
Abstract :
A programming system, called K-NET, for the development of control software for FMS is described. K-NET is based on a Petri net, which makes it simple to express operational functions such as synchronization, interlock, and concurrency in sequence controls, K-NET uses a stochastic high-level Petri net in which tokens can have attributes, and which can provide notions of time and probability. K-NET can support all development stages including general design, detailed design, programming, and testing. K-NET has been used in the development of control software for an automated guided vehicle system, and results show a significant cost-saving over development with conventional methods in which only a procedural language is used
Keywords :
Petri nets; automatic guided vehicles; concurrency control; flexible manufacturing systems; programming environments; stochastic systems; synchronisation; AGV system; FMS; K-NET; Petri net based programming system; automated guided vehicle system; concurrency; control software development; interlock; operational functions; sequence controls; stochastic high-level Petri net; synchronization; tokens; Automatic control; Automatic generation control; Control systems; Flexible manufacturing systems; Manufacturing systems; Programmable control; Robotics and automation; Stochastic processes; Storage automation; Vehicles;
Conference_Titel :
Industrial Electronics Society, 1990. IECON '90., 16th Annual Conference of IEEE
Conference_Location :
Pacific Grove, CA
Print_ISBN :
0-87942-600-4
DOI :
10.1109/IECON.1990.149183
