介绍了双变迁Petri网的基本理论,探讨了Petri网模型的逻辑电路描述方法;针对逻辑电路模拟双变迁Petri网所遇到的问题,提出了采用硬件描述语言模拟双变迁Petri网的方法,详细讨论了用Verilog语言实现双变迁Petri网的技术;通过一个双变迁Petri网模型实例,在模拟软件中进行了模拟分析,验证了方法的可行性。研究表明,使用硬件描述语言描述Petri网模型,利用现有的设计模拟工具,可以模拟模型运行,分析模型的特性,方法简便,适用范围广,为双变迁Petri网模拟分析提供了一种新途径。
The basic theory of Dual Transitions Petri Net was introduced. The technology to simulating DTPN by logic circuits was explored. A novel method of simulating DTPN by hardware description language was proposed so as to solve the problems in traditional method, The techniques of simulating DTPN by Verilog HDL were discussed in details. Through an example simulation results, the methods were proved feasible and effective. The conclusion was drawn that this method is practicable and suitable for DTPN or other extended Petri nets.