Package jline.solvers.ctmc

Class CtmcStateSupports

java.lang.Object
jline.solvers.ctmc.CtmcStateSupports
public final class CtmcStateSupports extends Object
Can the state machinery (State.afterEvent) serve the impatience laws a model declares? Port of MATLAB solver_ctmc_state_supports.m.

The explicit-generator methods of SolverCTMC and both engines of SolverSSA drive the same afterEvent code, so the rules a feature name cannot state live here, asked as a predicate: the analyzers raise on it and supportsModelMethod answers from it, so the report and the run cannot differ. Reneging, Balking and Retrial are DECLARED by both solvers; the rules are about the LAW behind them: reneging with a non-exponential patience, balking outside QUEUE_LENGTH, a non-exponential retrial delay, a finite maxAttempts, an orbit abandonment (the state machinery has no orbit-abandonment event), a retrial station serving more than one class.

  • Method Details

    • reason

      public static String reason(NetworkStruct sn, String solverName)
      Parameters:
      sn - network structure
      solverName - "SolverCTMC" or "SolverSSA", named in the refusal
      Returns:
      the refusal, or the empty string when the model may run