Petri-net-based algorithms for parallel-controller synthesis

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 coloured and finally used to generate a state assignment with which the controller can be synthetised. The new concept of using colours 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.