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
fDate :
11/1/1994 12:00:00 AM
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;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings -
DOI :
10.1049/ip-cdt:19941508
