|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object | +--pipe.modules.invariantAnalysis.InvariantAnalysis
| Constructor Summary | |
InvariantAnalysis()
|
|
| Method Summary | |
int[] |
alphaCoef(int k,
int[] j)
adjust linear combination coefficients according to sign if sign(j) <> sign(k) then alpha = abs(j) beta = abs(k) if sign(j) == sign(k) then alpha = -abs(j) beta = abs(k) |
int[] |
betaCoef(int chk,
int n)
adjust linear combination coefficients according to sign if sign(j) <> sign(k) then alpha = abs(j) beta = abs(k) if sign(j) == sign(k) then alpha = -abs(j) beta = abs(k) |
int |
effectiveSetLength(int[] pSet)
find the number of non-zero elements in a set |
java.lang.String |
findNetInvariants(int[] M0)
Find the net invariants. |
java.lang.String |
findPEquations(int[] initialMarking)
Find the P equations of the net. |
PNMatrix |
findVectors(PNMatrix C)
Transform a matrix to obtain the minimal generating set of vectors. |
java.lang.String |
getName()
|
boolean |
isEmptySet(int[] pSet)
check if an array is empty (only zeros) |
java.lang.String |
reportPInvariants(int[] M0)
Reports on the P invariants. |
java.lang.String |
reportTInvariants(int[] M0)
Reports on the T invariants. |
void |
resetArray(int[] a)
|
void |
run(DataLayer pnmlData)
Call the methods that find the net invariants. |
int[] |
uniteSets(int[] A,
int[] B)
Unite two sets (arrays of integers) so that if there is a common entry in the arrays it appears only once, and all the entries of each array appear in the union. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public InvariantAnalysis()
| Method Detail |
public java.lang.String getName()
getName in interface Modulepublic void run(DataLayer pnmlData)
run in interface Modulepublic java.lang.String findNetInvariants(int[] M0)
M0 - An array containing the initial marking of the net.
public java.lang.String reportPInvariants(int[] M0)
M0 - An array containing the initial marking of the net.
public java.lang.String reportTInvariants(int[] M0)
M0 - An array containing the initial marking of the net.
public java.lang.String findPEquations(int[] initialMarking)
initialMarking - An array containing the initial marking of the net.
public PNMatrix findVectors(PNMatrix C)
C - The matrix to transform.
public int effectiveSetLength(int[] pSet)
pSet - The set count the number of non-zero elements.
public int[] alphaCoef(int k,
int[] j)
k - The column index of the first coefficientj - The column indices of the remaining coefficients
public int[] betaCoef(int chk,
int n)
chk - The first coefficientn - The length of one row
public void resetArray(int[] a)
public int[] uniteSets(int[] A,
int[] B)
A - The first set to unite.B - The second set to unite.
public boolean isEmptySet(int[] pSet)
pSet - The set to check if it is empty.
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||