Package jline.api.spn

Class Spn_metrics.SpnMetricsResult

java.lang.Object

jline.api.spn.Spn_metrics.SpnMetricsResult

Enclosing class:

Spn_metrics

public static class Spn_metrics.SpnMetricsResult
extends Object

The stationary measures of Sec. 3.1, per place level and per mode.

Field Summary

Fields

Modifier and Type	Field	Description
double	G	The normalising constant the measures are taken against.
double[][]	marginal	marginal[l][k] = P(m_l = k).
double[]	modeTput	Transition (mode) throughput.
double[]	modeUtil	Transition (mode) utilization, P(e_j >= 1).
double[]	placeTput	Place throughput, tokens removed per unit time.
double[]	placeUtil	Place utilization, P(m_j > 0).
double[]	tokens	Mean tokens per place level.

Constructor Summary

Constructors

Constructor	Description
SpnMetricsResult()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

G

public double G

The normalising constant the measures are taken against.

tokens

public double[] tokens

Mean tokens per place level.

placeUtil

public double[] placeUtil

Place utilization, P(m_j > 0).

placeTput

public double[] placeTput

Place throughput, tokens removed per unit time.

modeUtil

public double[] modeUtil

Transition (mode) utilization, P(e_j >= 1).

modeTput

public double[] modeTput

Transition (mode) throughput.

marginal

public double[][] marginal

marginal[l][k] = P(m_l = k).

Constructor Details

SpnMetricsResult

public SpnMetricsResult()