<< findenabled MaxPlusAndPetrinet firingorderbig >>

MaxPlusAndPetrinet >> MaxPlusAndPetrinet > firingorder

firingorder

Find transition firing order

Calling Sequence

tran = firingorder(forward,backward,initmark,mark)

Parameters

tran
: Order of transition firing in matrix.
forward
: Forward incidence.
backward
: Backward incidence.
initmark
: Initial state of Petri net.
mark
: Petri net state that will be tested.

Description

This function is used to find transition firing order to reach state where that state covers mark. Variable mark is become input of this function. Besides that this function needs forward incidence, backward incidence and initial state of Petri net. The output of this function denoted by tran. Variable tran is a matrix where its column represents one transition firing order from top to bottom. Number of column shows number of different firing order. Number of rows represents number of transitions that fired.

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

mark = [3;0;1]; // Petri net state that is coverable

firingorder(f,b,x0,mark) // find transition firing order

Authors

See Also


Report an issue
<< findenabled MaxPlusAndPetrinet firingorderbig >>