<< iscoverable Min-Max-Plus And Petrinet isdominate >>

Min-Max-Plus And Petrinet >> Min-Max-Plus And Petrinet > iscovers

iscovers

Test node covers

Calling Sequence

cov = iscovers(x,y)

Parameters

cov
: 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 node

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

iscovers(x1,x2) // x1 covers x2
x1 = [%inf;0;1]; // state in the first node

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

iscovers(x1,x2) // x1 does not cover x2

Authors

See Also


Report an issue
<< iscoverable Min-Max-Plus And Petrinet isdominate >>