pipe.modules.gspn
Class GSPNNew
java.lang.Object
pipe.modules.classification.Classification
pipe.modules.gspn.GSPN
pipe.modules.gspn.GSPNNew
- All Implemented Interfaces:
- Module
public class GSPNNew
- extends GSPN
- implements Module
Methods inherited from class pipe.modules.gspn.GSPN |
getReachabilitySet, getTangibleTransitionEnabledStatusArray, getTransitionEnabledStatus, getTransitionEnabledStatusArray, hasImmediateTransitions, hasTimedTransitions, isTangibleState, reduction, renderLists, renderLists, renderProbabilities, renderStateSpace, renderStateSpaceLinked, renderThroughput, testEqualConflict |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
GSPNNew
public GSPNNew()
run
public void run(DataLayer pnmlData)
- Specified by:
run
in interface Module
- Overrides:
run
in class Classification
averageTokens
protected double[] averageTokens(double[] pi,
StateList states)
- averageTokens()
Determines the average number of tokens on each place at steady state.
- Parameters:
states
- The list of tangible states
- Returns:
- An array containing the average number
of tokens on each place.
renderAverages
protected java.lang.String renderAverages(DataLayer pnmldata,
double[] data)
- renderAverages()
Turns the array containing the average number of
tokens on a place into a table in the form of a long
string with embedded HTML ready for display.
- Parameters:
pnmldata
- data
-
- Returns:
tokenDistribution
protected double[][] tokenDistribution(double[] pi,
StateList states)
- tokenDistribution()
Calculates the steady state probability of there being
n tokens at place p
- Parameters:
pi
- states
-
- Returns:
renderProbabilityDensity
protected java.lang.String renderProbabilityDensity(Place[] places,
double[][] probabilities)
getFastTransitionThroughput
protected double[] getFastTransitionThroughput(DataLayer pnmldata,
StateList list,
double[] pi)
getName
public java.lang.String getName()
- Specified by:
getName
in interface Module
- Overrides:
getName
in class Classification