Package jline.solvers.fluid.petri

Class PetriApplicable

java.lang.Object

jline.solvers.fluid.petri.PetriApplicable

public final class PetriApplicable
extends Object

Whether the fluid Petri route can answer this model, and why not.

A QUEUEING STATION IS THE ONE STRUCTURAL EXCLUSION: a net whose tokens also visit a Queue or a Delay is two formalisms at once, and LINE has no reference semantics for the hand-off. Saying so by name is the point of this class -- the drift would otherwise be built over the Petri coordinates alone and integrate the queueing part of the model as though it were not there.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	PetriApplicable.Verdict	The verdict and, when negative, the element that decides it.

Method Summary

Modifier and Type	Method	Description
static PetriApplicable.Verdict	applicable(NetworkStruct sn, SolverOptions options)

Methods inherited from class java.lang.Object

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

Method Details

applicable

public static PetriApplicable.Verdict applicable(NetworkStruct sn,
 SolverOptions options)

Parameters:

sn - the model

options - the solver options, whose config.hide_immediate is consulted

Returns:

whether the fluid Petri drift can be built, and the refusal otherwise