文档介绍：维普资讯
第卷第期计算机学报
年耳.
《邯时序逻辑电路的
网分析方法
,
司玉娟王万耐郎六琪郭殿龙戴逸松
睛林。队¨繇长春”弋\,
摘要本文应用带抑止孤的增广网,建立了基本门电路和常用触发器的阿模型,讨
论厂运用该模型描述同步和异步寸序逻辑电路,给出了此增广网的矩阵描述和状态转移方
.
关键词三一增广——,孳堡坌堑罐

, —,
,Ⅲ⋯:
,
.
.
,
.
,,

引言
,

●

,本文将讨沧时
,在分析方法上不
,
目需要进行一系列的运算,比较复杂.

,将触发器的驱动条件和时钟条件归结为
,博仁研究、现从事网络理睦
、,
理的、丌】,、信号处卵、
电最统的研究.
维普资讯
朝司玉娟等:时序逻辑电路的网分析方法
对受迁授权条件的判定,、
计算机的仿真实现,充分显示出网对数字逻辑电路进行描述、分析的有效性.
基本网及其扩展
. 基本网
基本网为四元组, 一. ,, .其中户,,·一,为位置集, —,
“.为变迁集, × × 为网的流关系,:斗,
户.∈为变迁的前置集,。一,户∈为变迁的后置集. 的位置中可能
,则可激活,变迁
激后产生新的标识‘,记作。.
. 带抑止弧的增广网

了克服这个缺陷,提出了许多扩展办法,其中之一就是带抑止弧的增广网,本文为了实
现基本逻辑电路的“菲”—
入一种抑止弧,一个位置,到变迁的抑止弧是在靠的一端有一个小圆圈而不是一个箭头,
其含义为:只有在位置中无托肯时,
位戥为基本位置.
定义. 增广网为五元组. —,.,., 。.其中:
为抑止位置集. . , ..其余符号的含义同基本网.
定义. 增广中变迁的授权规则为:∈称为在标识Ⅳ下授权的当且仅当
∈., . ,.∈:; . 一,.∈..
定义. ⋯:
, .,￡