摘要
本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了此增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法．
In this paper,the basic gate and typical flip-flop models of Petri Net areconstructed using a kind of extended Petri Net with inhibitor arc.Both synchronousand asynchronous sequential circuits can be described with above models. The matrix expression and the state equation are given, and the unified method for analyzing both synchronous and asynchronous sequential circuits is proposed.
出处
《计算机学报》
EI
CSCD
北大核心
1996年第7期492-498,共7页
Chinese Journal of Computers
基金
国家自然科学基金
