基于PETRI NET的可编程序控制器编程方法的研究
本文对基于PETRI NET的可编程序控制器编程方法进行了研究。主要内容如下：
1.分析了传统PLC程序设计方法（如组合逻辑函数法等）的局限性及PetriNet方法在PLC程序设计中应用的可能性。
2.分析了几种现有的PetriNet分解压缩技术，根据控制系统实例和PLC的特点，尝试采用分层PETRI NET和T-组合PETRI NET相结合的方法来处理“状态空间爆炸”问题。
3.探讨了PETRI NET控制器的设计方法以及利用PETRI NET控制器进行系统程序设计的方法。
4.将PETRI NET理论应用在一个复杂并行PLC控制系统实例中，对控制系统建立了PETRI NET模型。在建模中，采用分层PETRI NET和T组合PETRI NET相结合的方法对系统PETRI NET进行分解和压缩，达到了对系统PETRI NET模型简化的目的。
5.给出了系统的可达树和关联矩阵，并据此对系统PETRI NET的各种性质（如活性等）进行了分析。
6.探讨了如何采用PLC实现系统的PETRI NET控制器。在程序设计中根据系统特点，将VisualC中“类”的设计思想应用在PLC系统程序设计中，使系统程序简洁、便于移植。
7.给出了应用新方法解决一个实际问题的全部方案，最后附有PLC的端口分配地址和PLC控制系统程序。
工业控制;程序控制器;程序编写
郑州轻工业学院
硕士
电机与电器
王永华
2003
中文
TM571.61;TP312
54
2007-11-19（万方平台首次上网日期，不代表论文的发表时间）