ON THE USE OF PETRI NETS FOR THE DESCRIPTION OF DIGITAL SYSTEMS

Abstract Due to their complexity, nowadays it is virtually unconceivable to design and implement large digital systems without the use of computer-aided design tools. Many petri net extensions have been proposed aiming at describing hardware characteristics as accurately as possible. Among all petri net extensions developed for use with digital systems, only two of them have nearly all characteristics needed to describe such systems in full. They are place chart nets, and petri nets for embedded systems. Using the latter as an example we discuss some issues that may improve the capability of petri nets in dealing with digital systems