Test coverability state
ind = iscoverable(node_tree,x)
This function is used to test coverability state. If there exist state in coverability tree that covers x then x is coverable. If there are no state in coverability that covers x then x is not coverable. If x is coverable this function returns row vector contains node's indices where its states covers x. If x is not coverable then this function returns empty vector.
f = [1 0 0;0 0 1;0 1 0]; // forward incidence b = [0 1 0;0 1 0;0 0 1]; // backward incidence x0 = [0;1;0]; // initial state nt = []; // node_tree idpt = []; // id_parent_tran [nt,idpt] = buildtree(f,b,x0,0,0,nt,idpt); // build coverability tree mark = [3;0;1]; // Petri net state iscoverable(nt,mark) // mark is coverable | ![]() | ![]() |