并发系统的PN机理论与方法研究

建立了PN机理论体系，在并发语义下分别从机器、文法和语言角度探讨了该模型的计算能力和相互关系，从而为并发系统提供了一个新的、强有力的可操作模型。同现有模型相比，PN机不仅具有真并发特征，表达的信息更为广泛，而且在各层语言族上都能提供一个物理结构和行为机制集成统一有限加标图模型。研究了PN机语言的性质及其识别算法，探讨了PN机的若干操作及其保持性问题，获得一系列的判据和分析算法。发挥PN机的行为优势，针对离散事件系统和机群网络环境的实际背景，提炼出系统动态不变性等重要概念，给出PN刻画，并获得有效的分析算法。研究了PNM并行程序的PN机模型，给出孤儿消息和缺发消息等现象的PN刻画及其判定算法，研制了并行程序验证的软件工具。