进程验证相关论文
本文涉及的研究领域是无穷状态系统的验证。无穷状态系统上的验证问题主要包括两个方面:一个方面是等价验证,另一个方面是模型检测......
为了解决Petri网的可达性判定问题，提出了一种基于进程验证的可达性判定方法．通过分析Petri网基本进程段子段间偏序关系，该方法提出原......
