论文部分内容阅读
离散事件控制系统正在成为软件密集型系统，其设计是一项耗时耗力的工作。为了解决现代控制系统的规模越来越大，柔性要求越来越高，所导致的控制软件的编制和调试越来越难的问题，本文主要探讨了基于一种高级扩展Petri网的控制系统设计理论。首先为了解决一般Petri网模型的复杂性问题，文中提出了OOPN理论。接着文中提出了用于离散事件控制系统设计的EOOPN理论，研究了基于C++语言的控制系统程序自动生成理论和方法。然后通过对工程实例立体停车库控制系统进行EOOPN建模，详细讨论了基于EOOPN的控制系统设计过程。最后文中介绍了基于EOOPN的控制系统开发平台的设计思想。作者通过对以上各方面作一系列深入研究，力图为离散事件控制系统设计指明一条新的途径。