基于有色Petri网的逻辑电路仿真模型设计

• 作者: 欧阳星明 胡青海
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 受控有色Petri网 门函数集 拓扑结构 逻辑电路
• 年，卷（期）: 2006,（3）
• 页码范围: 17-20
• 页数: 4页
• 分类号: TP302.2
• 字数: 3550字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2006.03.006

摘要

提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入了有效的约定,较好地解决了逻辑电路仿真过程中电路拓扑结构难以有效描述的问题.在此基础上,给出了信号在模型中动态传递的描述性算法及其实现方法,并举例说明了基于该模型的逻辑电路仿真过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳星明	华中科技大学计算机科学与技术学院	37	364	10.0	18.0
2	胡青海	华中科技大学计算机科学与技术学院	1	8	1.0	1.0