Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ACCEPTINGNET |
"AcceptingPetriNet" |
public static final java.lang.String |
NET |
"PetriNet" |
Modifier and Type | Constant Field | Value |
---|---|---|
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 |
APN |
"APN" |
public static final java.lang.String |
NET |
"NET" |
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 |
NET |
"Net" |
public static final java.lang.String |
REDUCEDNET |
"ReducedNet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
APN |
"APN" |
public static final java.lang.String |
NET |
"NET" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Hide Start/End" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Remove Start/End" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an accepting Petri net from a Petri net, given an initial marking and a collection of final markings. The user may select these markings." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an accepting Petri net from an array of accepting Petri nets by merging them. Places and silent transitions will be copied (these will not be merged). Labeled transition with the same label will be merged into a single transition with that label. Edges will be copied and reconnected. " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an accepting Petri net from a Petri net by checking whether the initial marking and final markings can be obtained throught the ProM framework. If not, a default initial marking (all source places) and default final markings (one for every sink place) will be used." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Removes the artificial start and end transitions from the accepting Petri net, given an algorithm to do the removal. Removal can be done either by making these transition silent, or by actually removing them (if possible)." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an accepting Petri net with the same behavior as the given accepting Petri net, but which has no two transitions with the same visible label. To achieve this goal, (additional) silent transitions and non-free-choice constructs may be needed." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a Petri net from an accepting Petri net, and makes sure that its initial marking and final markings can be obtained through the ProM framework." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
HIDE |
"Hide Start/End" |