<< findchild Min-Max-Plus And Petrinet firingorder >>

Min-Max-Plus And Petrinet >> Min-Max-Plus And Petrinet > findenabled

findenabled

Find enabled transitions

Calling Sequence

idenabled = findenabled(backward,mark)

Parameters

idenabled
: Vector of ID enabled transitions.
backward
: Backward incidence.
mark
: Petri net marking or system state.

Description

This function used to find enabled transitions. The output is row vector that contains indices of enabled transitions. If there are no enabled transitions then the output is empty vector (denoted by []). In this situation Petri net is deadlock. This procedure is called by pipesimulation.

Examples

b = [1 0 0;0 1 1;0 0 1;0 0 0]; // backward incidence

mark = [1;0;0;0]; // marking

iden = findenabled(b,mark) // first transition enabled

b = [1 0 1;0 1 0;0 1 1;0 0 1]; // backward incidence

mark = [0;1;0;0]; // marking

iden = findenabled(b,mark) // no transition enabled

Authors

See Also


Report an issue
<< findchild Min-Max-Plus And Petrinet firingorder >>