Si Yujuan, Wang Wanshu, Guo Dianlong, Dai Yisong. ANALYSIS OF SYNCHRONOUS SEQUENTIAL CIRCUITS BASED ON EXTENDED PETRI NET[J]. Journal of Electronics & Information Technology, 1995, 17(5): 529-534.
Citation:
Si Yujuan, Wang Wanshu, Guo Dianlong, Dai Yisong. ANALYSIS OF SYNCHRONOUS SEQUENTIAL CIRCUITS BASED ON EXTENDED PETRI NET[J]. Journal of Electronics & Information Technology, 1995, 17(5): 529-534.
Si Yujuan, Wang Wanshu, Guo Dianlong, Dai Yisong. ANALYSIS OF SYNCHRONOUS SEQUENTIAL CIRCUITS BASED ON EXTENDED PETRI NET[J]. Journal of Electronics & Information Technology, 1995, 17(5): 529-534.
Citation:
Si Yujuan, Wang Wanshu, Guo Dianlong, Dai Yisong. ANALYSIS OF SYNCHRONOUS SEQUENTIAL CIRCUITS BASED ON EXTENDED PETRI NET[J]. Journal of Electronics & Information Technology, 1995, 17(5): 529-534.
The models of the basic gates and typical flip-flops for Petri net are constructed by using a kind of extended Petri net with inhibitor arc. Then the syncronous sequential circuit are described. The enabled matrixes, the state equations and the relation between the next state of flip-flop and the enabled transition are given. Based on these, the analysis method of Petri net for synchronous sequential circuits is discussed. It is proved that the theory is effective by practical examples.
古天龙.系统仿真学报,1994,6(2); 32-36.[2]阎石.数字电子技术基础.北京:高等教育出版社,1993, 236-302.[3]Peterson J L. Petri Net Theory and the Modeling of System. NJ: Prentice Hall, 1981,第3,4章.[4]Murata T. Proc[J].IEEE.1989, 77(4):541-574
DownLoad: