Package jline.solvers.ctmc.handlers

Class Solver_ctmc_fcr_waitq

java.lang.Object
jline.solvers.ctmc.handlers.Solver_ctmc_fcr_waitq
public final class Solver_ctmc_fcr_waitq extends Object
Reachability-based state space and per-action rate filters for models with a finite capacity region (FCR) whose drop rule is WAITQ (waiting queue). Port of MATLAB solver_ctmc_fcr_waitq.m. JMT semantics (mirrored by LDES): a job refused entry to a full region leaves the upstream station and waits in a per-region FIFO of (class, destination) tokens outside the region; after every transition that frees region capacity, tokens are released strictly in FIFO order (head-of-line) as long as the admission constraints (global cap, per-class caps, memory budget, linear constraints A*x<=b) permit; a fresh cap-admissible arrival overtakes a stuck head. Blocked jobs are counted neither in the region occupancy nor in any station state. Class-switching hops between two members of the same region are an exit (with FIFO release) followed by a gated re-entry of the new class. Classes whose region rule is DROP keep the transition-censoring behavior of the default generator. The CTMC state is augmented as [h(0:nstateful-1), buf_0, ..., buf_{F-1}] where h are the per-node hashed states and buf_f is the token FIFO of region f, padded with -1 to its maximum length.