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