双变迁Petri网的电路模拟技术研究
介绍了双变迁Petri网的基本理论,探讨了Petri网模型的逻辑电路描述方法；针对逻辑电路模拟双变迁Petri网所遇到的问题，提出了采用硬件描述语言模拟双变迁Petri网的方法,详细讨论了用Verilog语言实现双变迁Petri网的技术；通过一个双变迁Petri网模型实例,在模拟软件中进行了模拟分析,验证了方法的可行性。研究表明,使用硬件描述语言描述Petri网模型,利用现有的设计模拟工具,可以模拟模型运行,分析模型的特性,方法简便,适用范围广,为双变迁Petri网模拟分析提供了一种新途径。
双变迁Petri网 硬件描述语言 电路模拟 逻辑电路描述 Verilog语言
郭军 郝克刚
西北大学信息科学与技术学院 陕西西安 710069
国内会议
大连
中文
285-288
2007-08-01（万方平台首次上网日期，不代表论文的发表时间）