Package jline.api.sn

Class SnFluidRefusal

java.lang.Object

jline.api.sn.SnFluidRefusal

public final class SnFluidRefusal
extends Object

Structural checks of a fluid stochastic Petri net (FSPN) that every solver shares. A fluid place holds a level, not tokens, so it may carry no initial marking, receive no Source, and be touched by no token arc; an immediate mode may carry no flow; every fluid arc must name a fluid place; and a fluid rate dependence needs an exponential clock. Returns "" when the net passes, else the reason.

Method Summary

Modifier and Type	Method	Description
static String	snFluidRefusal(NetworkStruct sn)

Methods inherited from class java.lang.Object

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

Method Details

snFluidRefusal

public static String snFluidRefusal(NetworkStruct sn)