Graph-based model for implementing sequential circuits

The author discusses a method for implementing sequential circuits. This method is based on extended Petri nets and their optimized model which is called a B-net. B-net has a unit block which is referred to as the Φ block. Each block has one place and two transitions {t_p, t_m}. The communication between unit blocks can be achieved by control lines which activate the transition. This model can be used to represent VLSI systems in all the levels of abstraction. Consequently, this method can be considered as a unified approach for design, verification and synthesis of VLSI systems