<< findbound MaxPlusAndPetrinet findenabled >>

MaxPlusAndPetrinet >> MaxPlusAndPetrinet > findchild

findchild

Generate all state reached from a transition fire

Calling Sequence

[ch,tran_ch] = findchild(forward,backward,x,tran_x)

Parameters

ch
: List of all states that can be reached by firing one transition from x in matrix.
tran_ch
: Transition firing order to reach ch from initial state.
forward
: Forward incidence.
backward
: Backward incidence.
x
: List of states in matrix form. Usually states with equal level in coverability tree.
tran_x
: Transition firing order to reach ch from initial state.

Description

This function is used to generate all states that can be reached by fire one transition. The input is Petri net represented by forward and backward incidence matrix also list of states and its transition firing order in matrix form. This function is called by function firingorder.

Every column of x and ch represent state. Number of column in x equal with tran_x and number of column in ch equal with tran_ch. Number of row in tran_x shows how many firing needed to reach x. The same is true for tran_ch and ch.

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

mark = [0;1;0]; // initial state as input

tran = []; // no need to fire transition to reach x

[mark,tran] = findchild(f,b,mark,tran) // there is one enabled transition

[mark,tran] = findchild(f,b,mark,tran) // there are two enabled transitions

Authors

See Also


Report an issue
<< findbound MaxPlusAndPetrinet findenabled >>