Title :
Behavioral synthesis of complex parallel controllers
Author :
Bilinski, Krzysztof ; Dagless, Erik L. ; Saul, Jonathan M.
Author_Institution :
Dept. of Electr. & Electron. Eng., Bristol Univ., UK
Abstract :
A CAD system for automatic behavioural synthesis of synchronous parallel controllers from their Petri net specifications is presented. The system operates on an unfolded Petri net´s model of a controller which is called an occurrence net. Having the net unfolded, a set of sequential components of the Petri net is identified, and a state assignment is performed with which the controller can be synthesized. The experimental results show that the method presented in this paper is significantly faster then previous methods
Keywords :
Petri nets; control system CAD; control systems; controllers; state assignment; CAD; automatic behavioural synthesis; occurrence net; sequential components; state assignment; synchronous parallel controller; unfolded Petri net model; Automata; Automatic control; Automatic testing; Concurrent computing; Control system synthesis; Design methodology; Laboratories; Logic testing; Performance analysis; Petri nets;
Conference_Titel :
VLSI Design, 1996. Proceedings., Ninth International Conference on
Conference_Location :
Bangalore
Print_ISBN :
0-8186-7228-5
DOI :
10.1109/ICVD.1996.489482
