华中科技大学学报（自然科学版）
華中科技大學學報（自然科學版）
화중과기대학학보（자연과학판）
JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURE SCIENCE)
2006年
3期
17-20
,共4页
受控有色Petri网%门函数集%拓扑结构%逻辑电路
受控有色Petri網%門函數集%拓撲結構%邏輯電路
수공유색Petri망%문함수집%탁복결구%라집전로
提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入了有效的约定,较好地解决了逻辑电路仿真过程中电路拓扑结构难以有效描述的问题.在此基础上,给出了信号在模型中动态传递的描述性算法及其实现方法,并举例说明了基于该模型的逻辑电路仿真过程.
提齣瞭一種受控有色Petri網(CCPN)模型.該模型在有色Petri網的基礎上對邏輯電路的拓撲結構和動態運行過程進行瞭形式化描述,給齣瞭邏輯電路與CCPN的映射關繫,引入瞭受控門函數集,併按照充分攷慮邏輯電路特殊性和穩定性的激髮規則,加入瞭有效的約定,較好地解決瞭邏輯電路倣真過程中電路拓撲結構難以有效描述的問題.在此基礎上,給齣瞭信號在模型中動態傳遞的描述性算法及其實現方法,併舉例說明瞭基于該模型的邏輯電路倣真過程.
제출료일충수공유색Petri망(CCPN)모형.해모형재유색Petri망적기출상대라집전로적탁복결구화동태운행과정진행료형식화묘술,급출료라집전로여CCPN적영사관계,인입료수공문함수집,병안조충분고필라집전로특수성화은정성적격발규칙,가입료유효적약정,교호지해결료라집전로방진과정중전로탁복결구난이유효묘술적문제.재차기출상,급출료신호재모형중동태전체적묘술성산법급기실현방법,병거례설명료기우해모형적라집전로방진과정.
