可达性判定相关论文
可达性是Petri网的最基本的动态性质之一。它是研究Petri网其它动态性质的基石，许多Petri网的其他问题都可以通过其可达性来表述。......
Petri网是一种系统描述和分析的工具。在Petri网的诸多性质研究中，可达性研究大概是最基本的一个动态性质研究。可达性在一定意义上......
为了解决Petri网的可达性判定问题，提出了一种基于进程验证的可达性判定方法．通过分析Petri网基本进程段子段间偏序关系，该方法提出原......
通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算......
