可控离散并发系统构造的Ｐｅｔｒｉ网理论及算法研究

主要以代数结构和图的形式作为网的静态结构描述，以语言作为网的动态行为刻划手段。首次揭示了系统行为的网语言特征，沟通了传统Petri网的特性与自动机的特性关系，对于含并发与冲突的偏序行为给出了其进程语言特征。定义了若干网运算，讨论了它们的性质及其在网集上的代数结构，给出基于运算的系统模块化和组合化设计方法并获得成功应用。建立并发系统设计的规格说明语言及其到网模型的转换算法，讨论了算法的复杂性。针对并发系统的异常现象，研究了其控制器的网语言设计方法。对系统网模型的性能及可靠性分析提出若干新方法。新方法已在多资源共享系统，集成制造系统和煤炭安全系统等一系列应用中获得相当成功。获得的算法已在机器上编程实现。