: 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 nodex2=[1;0;1;0];// state in the second nodeind=isdominate(x1,x2)// test node dominance, x1 dominates x2x1=[0;0;1;1];// state in the first nodex2=[0;1;1;0];// state in the second nodeind=isdominate(x1,x2)// test node dominance, x1 does not dominate x2
Authors
Subiono
Dieky Adzkiya
"Max-Plus Algebra And Petrinet Toolbox", ver. 1.1.0, February, 2013.