一种基于Petri网的可靠性分析方法

A RELIABILITY ANALYSIS METHOD BASED ON PETRI NETS

冲突和并发是 Petri网的两种典型的行为 ,本文基于系统可靠性 Petri网模型的逆模型和基于 ECS的解冲突算法 ,得到一种新的求解单调关联系统最小割集的算法 .另外 ,根据这一算法 。

Conflict and Concurrent are two typical actions in Petri nets. We provide a new method of calculating of minimal cut sets for monotone coherent systems based on reverse model and ECS based conflict resolution method. Using this method, one can also get the possible evolutions relating to the current state.