|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpipe.modules.classification.Classification
pipe.modules.gspn.GSPN
public class GSPN
Field Summary | |
---|---|
protected ResultsHTMLPane |
results
|
protected PetriNetChooserPanel |
sourceFilePanel
|
Constructor Summary | |
---|---|
GSPN()
|
Method Summary | |
---|---|
protected StateList |
getReachabilitySet(DataLayer pnmlData)
Generate the reachability set using myTree function Add each marking to an arraylist, testing to see if the marking is already present before adding. |
protected boolean[] |
getTangibleTransitionEnabledStatusArray(DataLayer pnmlData,
int[] marking)
|
protected boolean |
getTransitionEnabledStatus(DataLayer pnmlData,
int[] marking,
int transition)
Caluculate whether a transition is enabled given a specific marking |
protected boolean[] |
getTransitionEnabledStatusArray(DataLayer pnmlData,
int[] marking)
Caluculate which transitions are enabled given a specific marking |
boolean |
hasImmediateTransitions(DataLayer pnmlData)
See if the supplied net has any timed transitions. |
boolean |
hasTimedTransitions(DataLayer pnmlData)
See if the supplied net has any timed transitions. |
protected boolean |
isTangibleState(DataLayer pnmlData,
int[] marking)
Work out if a specified marking describes a tangible state. |
protected double[] |
reduction(jama.Matrix input)
This function performs a Gaussian reduction on a given Matrix, returning an array of values representing the solution. |
protected java.lang.String |
renderLists(double[] data,
Place[] places,
java.lang.String[] headings)
|
protected java.lang.String |
renderLists(double[] data,
StateList list)
|
protected java.lang.String |
renderProbabilities(double[][] probabilities,
StateList list1,
StateList list2)
|
protected java.lang.String |
renderStateSpace(DataLayer pnmlData,
StateList data)
|
protected java.lang.String |
renderStateSpaceLinked(DataLayer pnmlData,
StateList data)
|
protected java.lang.String |
renderThroughput(DataLayer pnmlData,
double[] data)
|
protected boolean |
testEqualConflict(DataLayer pnmlData)
Test for condition Equal Conflict. |
Methods inherited from class pipe.modules.classification.Classification |
---|
extendedFreeChoiceNet, extendedSimpleNet, freeChoiceNet, getName, intersectionBetweenSets, markedGraph, run, simpleNet, stateMachine |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected PetriNetChooserPanel sourceFilePanel
protected ResultsHTMLPane results
Constructor Detail |
---|
public GSPN()
Method Detail |
---|
protected boolean getTransitionEnabledStatus(DataLayer pnmlData, int[] marking, int transition)
DataLayer
- - the netint[]
- - the markingint
- - the specific transition to test for enabled status
protected StateList getReachabilitySet(DataLayer pnmlData) throws TreeTooBigException
DataLayer
-
TreeTooBigException
protected boolean[] getTransitionEnabledStatusArray(DataLayer pnmlData, int[] marking)
DataLayer
- - the netint[]
- - the marking
protected boolean[] getTangibleTransitionEnabledStatusArray(DataLayer pnmlData, int[] marking)
protected boolean isTangibleState(DataLayer pnmlData, int[] marking)
DataLayer
- - the net to be testedint[]
- - the marking of the net to be tested
protected boolean testEqualConflict(DataLayer pnmlData)
DataLayer
-
public boolean hasTimedTransitions(DataLayer pnmlData)
DataLayer
-
public boolean hasImmediateTransitions(DataLayer pnmlData)
DataLayer
-
protected double[] reduction(jama.Matrix input)
Matrix
- - the matrix of coefficients to be solved
protected java.lang.String renderStateSpace(DataLayer pnmlData, StateList data)
protected java.lang.String renderStateSpaceLinked(DataLayer pnmlData, StateList data)
protected java.lang.String renderThroughput(DataLayer pnmlData, double[] data)
protected java.lang.String renderProbabilities(double[][] probabilities, StateList list1, StateList list2)
protected java.lang.String renderLists(double[] data, StateList list)
protected java.lang.String renderLists(double[] data, Place[] places, java.lang.String[] headings)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |