|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpipe.modules.invariantAnalysis.InvariantAnalysis
public class 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[] M)
Find the net invariants. |
java.lang.String |
findPEquations(int[] currentMarking)
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[] M)
Reports on the P invariants. |
java.lang.String |
reportTInvariants(int[] M)
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 |
---|
clone, equals, finalize, 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
dataObj
- A dataLayer type object with all the information about the petri netpublic java.lang.String findNetInvariants(int[] M)
M
- An array containing the current marking of the net.
public java.lang.String reportPInvariants(int[] M)
M
- An array containing the current marking of the net.
public java.lang.String reportTInvariants(int[] M)
M
- An array containing the current marking of the net.
public java.lang.String findPEquations(int[] currentMarking)
currentMarking
- An array containing the current 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 |