|
|||||||||||
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 Module
public void run(DataLayer pnmlData)
run
in interface Module
public 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 |