Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INPUT_PLACEST |
"Input places" |
public static final java.lang.String |
OUTPUT_PLACEST |
"Output places" |
public static final java.lang.String |
PETRI_NET |
"Petri net" |
public static final java.lang.String |
REDUCTION_RESULT |
"Reduction result" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Analyzes and diagnozes the given multi I/O WF net to see if it is an AND-OR net. This is done by hierarchical analysis. The algorithm does not need backtracking and is polynomial." |