Tree Petri Nets: Properties and Applications in Logical Problems

摘要

A special subclass of Petri net, tree Petri net, is discussed. For a tree Petri net, a marking M1 is reachable from M2 if and only if M2 is reachable from M1 in its inversed Petri net, and the reach ability is equivalent to the state equation satisfiability. Furthermore, two applications of tree Petri nets in logical problemsȁ9; analysis are presented. One is applied to the calculation of minimal cut sets of coherent fault tree, the other is used to solve an and-or tree. The corresponding algorithms are given. It is demonstrated that the tree Petri net is effective for failure analysis and artificial intelligence problem solution. Some examples are presented to validate these conclusions.