论文部分内容阅读
基于整数规划提出了一种在Petri网部分可达图范围内求解危险标识的算法．该算法首先从死标识的定义出发，结合结构不变式（P-不变式），求出Petri网的所有死标识；再利用状态方程，推算出到达这些死锁标识的坏标识及危险标识（如果Petri网不舍有这些特殊标识，则输出结果为空集）；最后，用一个制造系统的Petri网对该算法进行仿真．仿真结果表明，使用该算法求解网的特殊标识（死标识和危险标识），是通过求解部分可达标识实现的．该算法有效减小了算法的搜索空间，避免了Petri网的状态空间爆炸问题．