For the most recent entries see the Petri Nets Newsletter.

Petri net based algorithms for parallel controller synthesis.

Bilinski, K.; Adamski, M.; Saul, J.M.; Dagless, E.L.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography