Package jline.api.sn

Class SnFjVisitsSpn

java.lang.Object

jline.api.sn.SnFjVisitsSpn

public final class SnFjVisitsSpn
extends Object

Method Summary

Modifier and Type	Method	Description
static List<Matrix>	snFjVisitsSpn(NetworkStruct sn)	Compute fork-join node visit ratios via auxiliary SPN models.

Methods inherited from class java.lang.Object

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

Method Details

snFjVisitsSpn

public static List<Matrix> snFjVisitsSpn(NetworkStruct sn)

Compute fork-join node visit ratios via auxiliary SPN models. The net is solved through SolverCTMC, as in MATLAB. Its throughput ratios are NOT uniform across the station Places: the pre-fork transition consumes all B tokens at once and the Join returns them, so a station inside a fork-join region fires once per B firings of the cycle. After the normalisation on the reference station, a station outside the region carries 1, a station inside it carries 1/B, and a Fork or a Join, which holds no Place, carries 0. The Python and C++ ports evaluate that rule analytically instead of enumerating the state space.