<< iscovers MaxPlusAndPetrinet ispetrinetbounded >>

MaxPlusAndPetrinet >> MaxPlusAndPetrinet > isdominate

isdominate

Test node dominance

Calling Sequence

ind = isdominate(x,y)

Parameters

ind
: Vector of indices where elements in x is bigger than y if x dominates y. Empty vector if x does not dominate y.
x
: Column vector represent Petri net marking or system state.
y
: Column vector represent Petri net marking or system state.

Description

This function is used to test node dominance. If x dominates y then ind is a row vector containing indices where elements in x bigger than y. If x does not dominate y then return an empty vector.

Examples

x1 = [1;0;2;0]; // state in the first node

x2 = [1;0;1;0]; // state in the second node

ind = isdominate(x1,x2) // test node dominance, x1 dominates x2

x1 = [0;0;1;1]; // state in the first node

x2 = [0;1;1;0]; // state in the second node

ind = isdominate(x1,x2) // test node dominance, x1 does not dominate x2

Authors

See Also


Report an issue
<< iscovers MaxPlusAndPetrinet ispetrinetbounded >>