<< isconservation Min-Max-Plus And Petrinet iscovers >>

Min-Max-Plus And Petrinet >> Min-Max-Plus And Petrinet > iscoverable

iscoverable

Test coverability state

Calling Sequence

ind = iscoverable(node_tree,x)

Parameters

ind
: Vector of node's indices represent node that covers x. Empty vector if no nodes in coverability tree that covers x.
node_tree
: Matrix contains states in all coverability tree's node.
x
: Column vector represent Petri net marking or system state.

Description

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.

Examples

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

Authors

See Also


Report an issue
<< isconservation Min-Max-Plus And Petrinet iscovers >>