Petri net-based design method of digital circuits

Author

Zhao, Buhui ; Yan, Yangguang

Author_Institution

Coll. of Autom., Nanjing Univ. of Aeronaut. & Astronaut., China

Volume

1

fYear

2002

fDate

2002

Firstpage

363

Abstract

The traditional design method of digital circuits isn´t very appropriate for the design of parallel controller. This paper presents a Petri net based design method of digital circuits: first model the problem with Petri net, then analysis and control the model. Thus the Petri net´s control model of the system is achieved. We can describe the Petri net´s control model with hardware description language and achieve the source file. Through electronics design automation software development tools, the source file is compiled, simulated, fit design and download to the device. Finally the hardware implementation of the controller of dining philosophers problem is presented.

Keywords

Petri nets; circuit CAD; controllers; digital circuits; electronic design automation; hardware description languages; parallel processing; Petri net based design method; digital circuits; dining philosophers problem; electronics design automation software development tools; hardware description language; parallel controller; source file; Automatic control; Circuit simulation; Control systems; Design engineering; Design methodology; Digital circuits; Educational institutions; Electronic design automation and methodology; Hardware design languages; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control and Automation, 2002. Proceedings of the 4th World Congress on

Print_ISBN

0-7803-7268-9

Type

conf

DOI

10.1109/WCICA.2002.1022130

Filename

1022130