论文部分内容阅读
为了解决Petri网的可达性判定问题，提出了一种基于进程验证的可达性判定方法．通过分析Petri网基本进程段子段间偏序关系，该方法提出原子进程段概念，求得原子进程段集及其偏序关系集作为可达性判定的验证对象．基于原网状态方程解向量、原子进程段，T-向量的线性纯整数规划问题解，选取该解中非零分量对应的原子进程段子集作为待验进程段集，选取待验进程段间的偏序关系子集作为待验推理规则集，通过验证是否存在这两个集合上的以初始标识Mo为推导初态、目的标识舰为推导终态的序列而判定（Mo，Ma）是否可达．分析表明该可达性判