| 双变迁Petri网的电路模拟技术研究 |
| |
| 引用本文： | 郭军,郝克刚.双变迁Petri网的电路模拟技术研究[J].系统仿真学报,2007,19(A01):285-288. |
| |
| 作者姓名： | 郭军 郝克刚 |
| |
| 作者单位： | 西北大学信息科学与技术学院,陕西西安710069 |
| |
| 基金项目： | 国家自然科学基金重点项目（60433010）和陕西省教育厅自然科学专项（05JK293）支持. |
| |
| 摘 要： | 介绍了双变迁Petri网的基本理论,探讨了Petri网模型的逻辑电路描述方法;针对逻辑电路模拟双变迁Petri网所遇到的问题,提出了采用硬件描述语言模拟双变迁Petri网的方法,详细讨论了用Verilog语言实现双变迁Petri网的技术;通过一个双变迁Petri网模型实例,在模拟软件中进行了模拟分析,验证了方法的可行性。研究表明,使用硬件描述语言描述Petri网模型,利用现有的设计模拟工具,可以模拟模型运行,分析模型的特性,方法简便,适用范围广,为双变迁Petri网模拟分析提供了一种新途径。
|
| 关 键 词： | 双变迁 Petri网 硬件描述语言 模拟 |
| 文章编号： | 1004-731X（2007）S1-0285-04 |
| 收稿时间： | 2007-05-10 |
| 修稿时间： | 2007-06-27 |
The Study of Simulation Technology of Dual Transitions Petri Net by Logic Circuits |
| |
| GUO Jun, HAO Ke-gang.The Study of Simulation Technology of Dual Transitions Petri Net by Logic Circuits[J].Journal of System Simulation,2007,19(A01):285-288. |
| |
| Authors: | GUO Jun HAO Ke-gang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
|
