In: IEE Proceedings - Computers and Digital Techniques, Vol. 141, No. 6, pages 405-412. 1994.
Abstract: The paper presents new algorithms for the synthesis of parallel controllers which operate on a Petri net. This net is first simplified by reduction, then colored and finally used to generate a state assignment with which the controller can be synthesized. The new concept of using colors for detecting and representing concurrency within the Petri net is presented. Experimental results show that the methods presented are especially economical for the synthesis of complex controllers.
Keywords: colored Petri nets, graph theory, parallel controllers, state assignment.