PVM并行程序验证系统的原理与实现

本文主要介绍PVM并行程序验证系统的基本原理和实现技术．首先，我们扼要分析PVM程序的构成与特点；然后阐述验证系统的理论模型和验证算法；最后，讨论开发过程中的若干关键技术．本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境．

Petri网连接过程中的行为关系

先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.

PN机

本文提出PN机的几种范式，讨论它们的串语言与步语言之间的关系，提出拟行为有限状态机概念，给出PN语言的一个拟正规性刻划，从而表明一般Petri网模型的局限性，以及引入PN机模型的必要性．本文结果对于PN机理论框架的建立起到奠基作用．