可达问题相关论文
Petri网是一种广泛应用于描述异步并发现象的图形化建模和分析工具，Petri网的可达性判定问题是进行Petri网建模和分析的基础。判定P......
在分析各种可达分析方法求解变迁约束可达问题不足的基础上，采用约束程序的办法，针对变迁约束进行约束模型构造和算法研究．该约束模型......
