Find bounded place in Petri net
idplace = boundedplace(node_tree)
This function is used to find bounded place in Petri net. If there exists one or more bounded place then this function returns row vector contains indices of bounded place. If all places in Petri net are unbounded 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 boundedplace(nt) // find index of bounded place | ![]() | ![]() |