In: IEICE Transactions, Vol. E74, No. 10, October 1991, Special Issue on Petri Nets and Discrete Event Systems. 1991.
Abstract: This paper describes a programming system, K-NET for the development of control software for flexible manufacturing systems composed of robots, numerically controlled machines, transfer machines and automatic storage/retrieval systems. K-NET is based on a high-level Petri net which makes it simple to express operational functions such as synchronization, interlock and concurrence in sequence control. Petri net in K-NET is a colored one in which tokens have attributes, and timed one which can provide a notion of stochastic time.