论文部分内容阅读
在离散控制系统中，如自动制造系统，通信系统和计算机网络系统，都有许多没有解决的问题。它们的控制系统的设计是一件花费高，耗时的，棘手的和烦人的工作。控制系统需求的多变更增加程序设计的难度，因此急需一套有效可靠控制系统软件设计和调试理论。本文提出基于Petri网的CtrlPN，DPN和CDPN理论,研究基于工业控制计算机和可编程序逻辑控制器的控制系统的CDPN模型控制程序自动生成理论和方法，并着重论述了CtrlPN，DPN和CDPN理论的提出和工程实例立体停车库系统的CDPN建模和分析。文中还论述CDPN理论的可达树构造算法和基于S—不变式的CDPN分析。最后文中给出基于CDPN的控制系统控制程序自动生成的方法。 作者对以上方面的内容作了一系列深入的研究，初步探讨了CDPN的行为特性和结构特性，并成功完成用CDPN对一个较为复杂的工程实例的建模。同时对基于CDPN理论的控制系统的控制模型的控制程序的自动生成作了一些初步的偿试，并在该方面获得一定的经验。