Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
REDUCEDNET |
"ReducedNet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an accepting Petri net from the given accepting Petri net by applying any number of known classical (liveness and boundedness preserving) reduction rules, until no rule can be applied anymore. Examples of such rules include the Fusion of Series Transition rule and the Fusion of Parallel Places rule." |