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

一种基于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