By Topic

Behavioral synthesis of complex parallel controllers

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
K. Bilinski ; Dept. of Electr. & Electron. Eng., Bristol Univ., UK ; E. L. Dagless ; J. M. Saul

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

Published in:

VLSI Design, 1996. Proceedings., Ninth International Conference on

Date of Conference:

3-6 Jan 1996