: Boolean represents the relationship between x and 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 covers. If x covers y then every
element in x is bigger than or equal to y. If x does not cover y then
there exist elements in y that is bigger than x.
Examples
x1=[%inf;1;0];// state in the first nodex2=[3;1;0];// state in the second nodeiscovers(x1,x2)// x1 covers x2x1=[%inf;0;1];// state in the first nodex2=[%inf;1;0];// state in the second nodeiscovers(x1,x2)// x1 does not cover x2
Authors
Subiono
Dieky Adzkiya
"Max-Plus Algebra And Petrinet Toolbox", ver. 1.1.0, February, 2013.