【作者】 温文栋；

【导师】 李志武；

【作者基本信息】 西安电子科技大学 ， 机械电子工程， 2001， 硕士

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

【Abstract】 In the control of discrete event systems, such as automated manufacturingsystems, communication systems, and computer network systems, there have beenmany open problems to be solved. The design of their control systems is a costly,time-consuming, troublesome, and boring task. The requirement of control systemspecification constantly and diversly changes which results in the increasingcomplexity of programming and debugging, so a valid and reliable niethodology ofsoftware designing and debugging is expected urgently. In this paper Petri Netsbased CtrIPN, DPN and CDPN theory is presented, and the industry controlcomputers and programmable logic controllers based control system theory andway of program generation from CDPN are investigated. The emphasis is put onthe discussion of CtrIPN, DPN and CDPN. The CDPN modeling and analysis areapplie(l to an engineering example, a circular and mechanical car-house developedby our research group. The construction algorithm for the reachable markinggraph of CDPN and S-invariant based CDPN analysis methods are also proposed.Finally, the methods of automatic code generation from CDPN based controlsystem are briefly given.The author devotes himself to make some investigations deeply on the theorymentioned above, and probes into the behavior and structure properties of CDPN.With CDPN, modeling a more complex engineering example is completedsuccessfully. Finally, the feasibility and possibility of automatic code generation arepresented for the CDPN modeling based control systems.更多还原