| 同步时序电路的增广Petri网分析 |
| |
| 引用本文： | 司玉娟,王万树,郭殿龙,戴逸松.同步时序电路的增广Petri网分析[J].电子与信息学报,1995,17(5):529-534. |
| |
| 作者姓名： | 司玉娟 王万树 郭殿龙 戴逸松 |
| |
| 作者单位： | 吉林工业大学电子工程系，吉林工业大学电子工程系，吉林工业大学电子工程系，吉林工业大学电子工程系 长春 130025，长春 130025，长春 130025，长春 130025 |
| |
| 摘 要： | 本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。
|
| 关 键 词： | 时序电路 增广Petri网 逻辑分析 |
| 收稿时间： | 1994-10-24 |
| 修稿时间： | 1995-5-2 |
ANALYSIS OF SYNCHRONOUS SEQUENTIAL CIRCUITS BASED ON EXTENDED PETRI NET |
| |
| 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. |
| |
| Authors: | Si Yujuan Wang Wanshu Guo Dianlong Dai Yisong |
| |
| Affiliation: | Department of Electronic Engineering, Jilin University of Technology, Changchun 130025 |
| |
| Abstract: | 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. |
| |
| Keywords: | Sequentical circuit Extended Petri net Logic analysis |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
