DocumentCode
1195865
Title
Petri-net-based algorithms for parallel-controller synthesis
Author
Bilinski, K. ; Adamski, M. ; Saul, J.M. ; Dagless, E.L.
Author_Institution
Dept. of Electr. & Electron. Eng., Bristol Univ., UK
Volume
141
Issue
6
fYear
1994
fDate
11/1/1994 12:00:00 AM
Firstpage
405
Lastpage
412
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
Keywords
Petri nets; controllers; finite state machines; logic design; state assignment; Petri-net-based algorithms; concurrency; parallel-controller synthesis; state assignment;
fLanguage
English
Journal_Title
Computers and Digital Techniques, IEE Proceedings -
Publisher
iet
ISSN
1350-2387
Type
jour
DOI
10.1049/ip-cdt:19941508
Filename
331627
Link To Document