Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CLUSTERS |
"Clusters" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
NETS |
"Nets" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CLUSTERS |
"Clusters" |
public static final java.lang.String |
NETS |
"Nets" |
public static final java.lang.String |
VALIDATEDCLUSTERS |
"Validated Clusters" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Petri net" |
public static final java.lang.String |
RPSTNODE |
"Petri net RPST node" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Accepting Petri Net" |
public static final java.lang.String |
NETARRAY |
"Accepting Petri Net Array" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NET |
"Accepting Petri Net" |
public static final java.lang.String |
RPST |
"Petri Net RPST" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an array of accepting Petri nets from a given accepting Petri net and activity cluster array. The first net in the array is obtained by projecting the given net to the first activity cluster in the given array, etc.Different algorithms are available for doing the actual projection, which includes (1) removing all parts not covered by the cluster and (2) relabeling all visible transitions not covered by the cluster." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a validated activity cluster array from a given activity cluster array and accepting Petri net array. The clusters are validated in the sense that if two clusters in the given array share a place (in the corresponding nets), then these clusters are joined in the created array." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Converts a RPST node to a petri net." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Decompose an accepting petri net by Single Entry Single Exit (SESE) and with bridging." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Generates RPST structure from an Accepting Petri Net." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FILTERSTRATEGY |
"Filter out" |
public static final java.lang.String |
REPLACENOREDUCESTRATEGY |
"Make invisible w/o Reduction" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Filter out" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Generic 50%" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Generic 100%" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Generic 75%" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Generic" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Make invisible w/o Reduction" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Make invisible w/ Reduction" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"SESE-based" |