<< binfact MaxPlusAndPetrinet buildtree >>

MaxPlusAndPetrinet >> MaxPlusAndPetrinet > boundedplace

boundedplace

Find bounded place in Petri net

Calling Sequence

idplace = boundedplace(node_tree)

Parameters

idplace
: Vector of bounded place's index.
node_tree
: Matrix contains states in all coverability tree's node.

Description

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.

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

boundedplace(nt) // find index of bounded place

Authors

See Also


Report an issue
<< binfact MaxPlusAndPetrinet buildtree >>