Package jline.api.sn

Class SnFjVisitsSpnKt

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description

    • Constructor Summary

      Constructors 
      Constructor Description

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      final 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

    • Constructor Detail

    • Method Detail

      • snFjVisitsSpn

         final static List<Matrix> snFjVisitsSpn(NetworkStruct sn)

        Compute fork-join node visit ratios via auxiliary SPN models.

        For each class that passes through a fork-join pair, builds an auxiliary closed Stochastic Petri Net with population = max leaf count (B), solves it with SolverCTMC, and extracts throughput ratios as visit ratios.

        Parameters:
        sn - NetworkStruct describing the queueing network
        Returns:

        List of Matrix (one per chain), each (nnodes x nclasses) with visit ratios normalized so that reference station = 1