Petri net-based design method of digital circuits

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.