DocumentCode
3277001
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
fYear
1996
fDate
3-6 Jan 1996
Firstpage
186
Lastpage
191
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;
fLanguage
English
Publisher
ieee
Conference_Titel
VLSI Design, 1996. Proceedings., Ninth International Conference on
Conference_Location
Bangalore
ISSN
1063-9667
Print_ISBN
0-8186-7228-5
Type
conf
DOI
10.1109/ICVD.1996.489482
Filename
489482
Link To Document