一种基于Petri网的并行控制器的VHDL实现

　　3.3 模型的VHDL实现

　　用VHDL实现的部分源代码如下：

　　t1=not p2 and not p4 and x0 and p1；

　　t2=not p3 and x1 and p2；

　　t3=not p5 and x3 and p4；

　　t4=not p6 and not p7 and p3 and p5；

　　t5=not p8 and x5 and x6 and p6；

　　t6=not p9 and not x2 and not x4 and p7；

　　t7=not p6 and not x5 and p8；

　　t8=not p1 and not x6 and p6 and p9；

　　np1=t8 or (p1 and not t1)；

　　np2=t1 or (p2 and not t2)；

　　np3=t2 or (p3 and not t4)；

　　np4=t1 or (p4 and not t3)；

　　np5=t3 or (p5 and not t4)；

　　np6=t4 or t7 or(p6 and not t5 and not t8)；

　　np7=t4 or (p7 and not t6)；

　　np8=t5 or (p8 and not t7)；

　　np9=t6 or (p9 and not t8)；

　　3.4 基于Max+PlusⅡ的并行控制器仿真

　　在MAX+PlusⅡ中经编译后进行功能仿真，仿真波形如图4所示。波形表明结果是正确的。

4 结 论

Petri网是并发系统强有力的建模工具，通过对Petri网模型的分析，可以获得系统的许多结构和动态性能，根据控制策略，还可以建立系统的控制模型并获得系统在控制作用下的性能。以上讨论证明，基于Petri网的并行控制器可以用VHDL实现，从而开辟了并行控制器设计与实现的新途径。

参考文献

　　1 David R，Alla H著，黄建文，赵不贿译.佩特利网和逻辑控制器图形表示工具(GRAFCET).北京：机械工业出版社， 1996

　　2 袁崇义．Petri网原理.北京：电子工业出版社，1998

　　3 Pardey J，Amroun A，Bolton M et al.Parallel Cotroller Synthesis for Programmable Logic Devices.Microprocessors and Microsystems，1994；18（8）

　　4 Fernandes J M，Adamski M，Proenca A J.VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controllers.IEEE ProcComput Tech，1997；144(2)

　　5 Adamski M.A Rigorous Design Methodology for Reprogrammable Logic Controllers. Proceedings of the International Workshop on Discrete-Event System Design DESDes′01.Przytok：Technical University of Zielona Góra，2001