Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
REDUCEDNET |
"Reduced net" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a Petri net that is identical to the given Petri net but with as many structural redundant places removed as possible." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a Petri net that is obtained from the given Petri net by applying any number of classical (liveness and boundedness preserving) reduction rules. On the resulting Petri net, none of these rules can be applied any more." |
public static final java.lang.String |
TEXTPB |
"Creates a Petri net that is obtained from the given Petri net by applying any number of classical (behavior preserving) reduction rules. On the resulting Petri net, none of these rules can be applied any more." |
public static final java.lang.String |
TEXTPS |
"Creates a Petri net that is obtained from the given Petri net by applying any number of classical (liveness and boundedness preserving) reduction rules. On the resulting Petri net, none of these rules can be applied any more." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ASM |
128 |
public static final int |
CSM |
64 |
public static final int |
ELP |
32 |
public static final int |
ELT |
16 |
public static final int |
FPP |
8 |
public static final int |
FPT |
4 |
public static final int |
FSP |
2 |
public static final int |
FST |
1 |