| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
DEFAULT_TIME_UNIT |
" ms" |
protected static final int |
EMPTY_TRACE_POS |
0 |
protected static final java.lang.String |
MAPPING_FILE_NAME |
"_mapping.txt" |
protected static final java.lang.String |
PDDL_DOMAIN_FILE_PREFIX |
"domain" |
protected static final java.lang.String |
PDDL_EXT |
".pddl" |
protected static final java.lang.String |
PDDL_FILES_DIR_PREFIX |
"pddl_files_" |
protected static final int |
PDDL_FILES_PER_TRACE |
2 |
protected static final java.lang.String |
PDDL_PROBLEM_FILE_PREFIX |
"problem" |
protected static final int |
PROGRESS_CHECKER_DELAY |
1000 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
protected static final java.lang.String |
COMMAND_ARG_PLACEHOLDER |
"+" |
protected static final java.lang.String |
COST_ENTRY_PREFIX |
"; cost = " |
protected static final java.lang.String |
EXPANDED_STATES_ENTRY_PREFIX |
"; expandedstates = " |
protected static final java.lang.String |
FAST_DOWNWARD_DIR |
"fast-downward/" |
protected static final java.lang.String |
FAST_DOWNWARD_SCRIPT |
"fast-downward/fast-downward.py" |
protected static final java.lang.String |
GENERATED_STATES_ENTRY_PREFIX |
"; generatedstates = " |
protected static final int |
INITIAL_EXECUTION_TRACE_CAPACITY |
10 |
protected static final java.lang.String |
PLANNER_MANAGER_SCRIPT |
"planner_manager.py" |
protected static final java.lang.String |
PLANS_FOUND_DIR_PREFIX |
"plans_found_" |
protected static final int |
RESULT_FILES_PER_TRACE |
1 |
protected static final java.lang.String |
SEARCH_TIME_ENTRY_PREFIX |
"; searchtime = " |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
LOG_LABEL |
"Event Log" |
public static final java.lang.String |
PETRINET_LABEL |
"Petri Net" |
public static final java.lang.String |
PN_REPLAY_RESULT_LABEL |
"Petri Net Replay Result" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
protected static final java.lang.String |
DUMMY |
"DUMMY" |
protected static final java.lang.String |
INVISIBLE_TRANSITION_PREFIX |
"generatedinv" |
public static final java.lang.String |
LOG_MOVE_PREFIX |
"moveinthelog" |
public static final java.lang.String |
MODEL_MOVE_PREFIX |
"moveinthemodel" |
public static final java.lang.String |
SEPARATOR |
"#" |
public static final java.lang.String |
SYNCH_MOVE_PREFIX |
"movesync" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
AFFILIATION |
"Sapienza University of Rome" |
public static final java.lang.String |
ALIGNMENT_PDDL_ENCODING_HELP |
"Given an event log and a Petri net, this plug-in generates the PDDL encoding of the alignment problem Automated Planning as depicted in the articles \"Aligning Real Process Executions and Prescriptive Process Models through Automated Planning\" (M. de Leoni and A. Marrella) and \"Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning\" (M. de Leoni, G. Lanciano and A. Marrella). Notice that each generated file refers to the trace whose id is indicated in the file name. Besides, \"domain0.pddl\" and \"problem0.pddl\" refer to the alignment of the empty trace, whose cost is needed to compute fitness." |
public static final java.lang.String |
AUTHOR |
"Giacomo Lanciano" |
public static final java.lang.String |
EMAIL |
"lanciano.1487019@studenti.uniroma1.it" |
public static final java.lang.String |
PDDL_FILES_HELP |
"Notice that each generated file refers to the trace whose id is indicated in the file name. Besides, \"domain0.pddl\" and \"problem0.pddl\" refer to the alignment of the empty trace, whose cost is needed to compute fitness." |
public static final java.lang.String |
PLANNING_BASED_ALIGNMENT_ESWA_2017_ARTICLE |
"\"Aligning Real Process Executions and Prescriptive Process Models through Automated Planning\" (M. de Leoni and A. Marrella)" |
public static final java.lang.String |
PLANNING_BASED_ALIGNMENT_HELP |
"Given an event log and a Petri net, this plug-in computes the (optimal) traces alignments using Automated Planning as depicted in the articles \"Aligning Real Process Executions and Prescriptive Process Models through Automated Planning\" (M. de Leoni and A. Marrella) and \"Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning\" (M. de Leoni, G. Lanciano and A. Marrella)." |
public static final java.lang.String |
PLANNING_BASED_ALIGNMENT_ICAPS_2018_ARTICLE |
"\"Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning\" (M. de Leoni, G. Lanciano and A. Marrella)" |
public static final java.lang.String |
PLANNING_BASED_ALIGNMENT_PACKAGE |
"PlanningBasedAlignment" |