Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"net" |
public static final java.lang.String |
OPENNET |
"opennet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
SOURCE |
"Source net" |
public static final java.lang.String |
TARGET |
"Target net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
MARKING |
"Marking" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
SEMANTICS |
"Semantics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGGCSGRAPH |
"AggCSGraph" |
public static final java.lang.String |
MARKING |
"Marking" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
SEMANTICS |
"Semantics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGGTSGRAPH |
"AggTSGraph" |
public static final java.lang.String |
MARKING |
"Marking" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
SEMANTICS |
"Semantics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NETANALYSISINFORMATION |
"NetAnalysisInformation" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
STATEPACE |
"Statespace" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INITIALMARKING |
"Initial Marking" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DEADMARKINGS |
"Dead Markings" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TRANSITIONS |
"ComponentSet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
MARKING |
"Marking" |
public static final java.lang.String |
NET |
"Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INITIALMARKING |
"Initial Marking" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
MARKING |
"Marking" |
public static final java.lang.String |
NET |
"Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
MARKINGS |
"Markings" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
SEMANTICS |
"Semantics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FINALMARKINGS |
"Allowed Final Markings" |
public static final java.lang.String |
SEQUENCES |
"Sequences" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TRANSITIONS |
"ComponentSet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TRANSITIONS |
"ComponentSet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INITIALMARKING |
"Initial Marking" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
STATEPACE |
"Statespace" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PLACES |
"Places" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
SEQUENCES |
"Sequences" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PREFIXMARK |
"prefix marking" |
public static final java.lang.String |
PREFIXNET |
"complete prefix of unfolding" |
public static final java.lang.String |
PREFIXNET_OMEGA |
"finite prefix of omega-unfolding" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
COMPONENTSET |
"ComponentSet" |
public static final java.lang.String |
NET |
"Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INVARIANTMARKING |
"InvariantMarking" |
public static final java.lang.String |
NET |
"Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
HANDLES |
"Handles" |
public static final java.lang.String |
NET |
"Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
NETANALYSISINFORMATION |
"NetAnalysisInformation" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CLUSTERS |
"Non-extended-free-choice clusters" |
public static final java.lang.String |
NET |
"Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CLUSTERS |
"Non-free-choice clusters" |
public static final java.lang.String |
NET |
"Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
NODES |
"Nodes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
NODES |
"Non-S-covered nodes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FINALMARKING |
"Final marking" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
SCNET |
"Short-circuited Net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
PLACES |
"Sink places" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
PLACES |
"Source places" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
NODES |
"Unconnected nodes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PARAM_FEATURE_ARC_WEIGHT |
"arc weight" |
public static final java.lang.String |
PARAM_FEATURE_MARKING |
"initial marking" |
public static final java.lang.String |
PARAM_FEATURE_PRESENCE |
"presence" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
VERTEX_DELETION_COST |
0.9 |
public static final double |
VERTEX_INSERTION_COST |
0.1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DEFAULT_DO_GROUPING |
false |
public static final double |
DEFAULT_LED_CUT_OFF |
0.0 |
public static final double |
DEFAULT_PRUNE_TO |
0.0 |
public static final double |
DEFAULT_PRUNE_WHEN |
0.0 |
public static final boolean |
DEFAULT_USE_EPSILON |
false |
public static final boolean |
DEFAULT_USE_EVENTS |
false |
public static final boolean |
DEFAULT_USE_PURE_DISTANCE |
false |
public static final double |
DEFAULT_WEIGHT_GROUPED_VERTEX |
0.0 |
public static final double |
DEFAULT_WEIGHT_SKIPPED_EDGES |
1.0 |
public static final double |
DEFAULT_WEIGHT_SKIPPED_VERTICES |
1.0 |
public static final double |
DEFAULT_WWEIGHT_SUBSTITUTED_NODES |
1.0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DIALOG_TITLE |
"Configure Petri net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DIALOG_TITLE |
"Create Configurable Petri net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
staticFlag |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INVISIBLE_EVENT_TYPE |
"$invisible$" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DEFAULT |
0 |
public static final int |
EOF |
0 |
public static final int |
EXPONENT |
11 |
public static final int |
NAME |
9 |
public static final int |
NUMBER |
10 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
PHASE_ARCS |
3 |
public static final int |
PHASE_DEREFNODES |
1 |
public static final int |
PHASE_NODES |
0 |
public static final int |
PHASE_REFNODES |
2 |
public static final java.lang.String |
TAG |
"pnml" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"arc" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"name" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"page" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"place" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"referencePlace" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"referenceTransition" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"text" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"transition" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
EPNML_TAG |
"type" |
public static final java.lang.String |
TAG |
"arctype" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"initialMarking" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"inscription" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"configurable" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"feature" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"group" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"parameter" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"marking" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"finalmarkings" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"input" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"output" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"synchronous" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"receive" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"send" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"synchronize" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"place" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"module" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"port" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"ports" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"graphics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"graphics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"dimension" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"fill" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"font" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"line" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"graphics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"offset" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final double |
SCALE |
2.0 |
public static final java.lang.String |
TAG |
"position" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
INVISIBLE |
"$invisible$" |
protected static final java.lang.String |
PROM |
"ProM" |
public static final java.lang.String |
TAG |
"toolspecific" |
protected static final java.lang.String |
VERSION |
"6.4" |