In: Transactions of Information Processing Society of Japan, Vol. 29, No. 12, pages 1129-1140. 1988. In Japanese.
Abstract: Coloured Petri net models are explored. A token data structure is defined. The assignment of plane procedures is shown. The assignment of exception handling procedures uses safe Petri net descriptions. Queueing and its Petri net description are explained. Exclusive execution sections are dealt with by using dummies. Token flow control using input assignment is described. The configurations of net processing software and net execution management are shown.