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 removing (arbitrary) structurally redundant places. The created net contains no structurally redundant places." |