org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms

Class PlanningBasedAlignment

java.lang.Object

org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.AlignmentPddlEncoding

org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.PlanningBasedAlignment

Direct Known Subclasses:

PlanningBasedAlignmentPlugin

public class PlanningBasedAlignment
extends AlignmentPddlEncoding

The implementation of the algorithm for Planning-based Alignment of an event log and a Petri net.

Author:

Giacomo Lanciano

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Thread	alignmentProgressChecker The separated thread that check alignment progress.
protected static java.lang.String	COMMAND_ARG_PLACEHOLDER
protected static java.lang.String	COST_ENTRY_PREFIX
protected static java.lang.String	EXPANDED_STATES_ENTRY_PREFIX
protected static java.lang.String	FAST_DOWNWARD_DIR
protected static java.lang.String	FAST_DOWNWARD_SCRIPT
protected static java.lang.String	GENERATED_STATES_ENTRY_PREFIX
protected static int	INITIAL_EXECUTION_TRACE_CAPACITY
protected static java.lang.String	PLANNER_MANAGER_SCRIPT
protected java.lang.Process	plannerManagerProcess The separated process in which the planner is executed.
protected static java.lang.String	PLANS_FOUND_DIR_PREFIX
protected java.io.File	plansFoundDir The output directory for the planner.
protected java.lang.Thread	resourcesUnpacker The separated thread that unpack the planner source code.
protected static int	RESULT_FILES_PER_TRACE
protected static java.lang.String	SEARCH_TIME_ENTRY_PREFIX

Fields inherited from class org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.AlignmentPddlEncoding

DEFAULT_TIME_UNIT, EMPTY_TRACE_POS, MAPPING_FILE_NAME, parentDir, PDDL_DOMAIN_FILE_PREFIX, PDDL_EXT, PDDL_FILES_DIR_PREFIX, PDDL_FILES_PER_TRACE, PDDL_PROBLEM_FILE_PREFIX, pddlEncoder, pddlEncodingProgressChecker, pddlFilesDir, positionToCaseIdMapping, preprocessingTimeSummary, PROGRESS_CHECKER_DELAY, startTime, tracesToAlign

Constructor Summary

Constructors

Constructor and Description
PlanningBasedAlignment()

Method Summary

Modifier and Type	Method and Description
protected PlanningBasedReplayResult	align(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, PlanningBasedAlignmentParameters parameters) The method that performs the alignment of an event log and a Petri net using Automated Planning.
protected void	killSubprocesses() Shut down all active computations.

Methods inherited from class org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.AlignmentPddlEncoding

buildPlannerInput

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PLANNER_MANAGER_SCRIPT

protected static final java.lang.String PLANNER_MANAGER_SCRIPT

See Also:

Constant Field Values

FAST_DOWNWARD_DIR

protected static final java.lang.String FAST_DOWNWARD_DIR

See Also:

Constant Field Values

FAST_DOWNWARD_SCRIPT

protected static final java.lang.String FAST_DOWNWARD_SCRIPT

See Also:

Constant Field Values

PLANS_FOUND_DIR_PREFIX

protected static final java.lang.String PLANS_FOUND_DIR_PREFIX

See Also:

Constant Field Values

COST_ENTRY_PREFIX

protected static final java.lang.String COST_ENTRY_PREFIX

See Also:

Constant Field Values

SEARCH_TIME_ENTRY_PREFIX

protected static final java.lang.String SEARCH_TIME_ENTRY_PREFIX

See Also:

Constant Field Values

EXPANDED_STATES_ENTRY_PREFIX

protected static final java.lang.String EXPANDED_STATES_ENTRY_PREFIX

See Also:

Constant Field Values

GENERATED_STATES_ENTRY_PREFIX

protected static final java.lang.String GENERATED_STATES_ENTRY_PREFIX

See Also:

Constant Field Values

COMMAND_ARG_PLACEHOLDER

protected static final java.lang.String COMMAND_ARG_PLACEHOLDER

See Also:

Constant Field Values

INITIAL_EXECUTION_TRACE_CAPACITY

protected static final int INITIAL_EXECUTION_TRACE_CAPACITY

See Also:

Constant Field Values

RESULT_FILES_PER_TRACE

protected static final int RESULT_FILES_PER_TRACE

See Also:

Constant Field Values

plannerManagerProcess

protected java.lang.Process plannerManagerProcess

The separated process in which the planner is executed.

alignmentProgressChecker

protected java.lang.Thread alignmentProgressChecker

The separated thread that check alignment progress.

resourcesUnpacker

protected java.lang.Thread resourcesUnpacker

The separated thread that unpack the planner source code.

plansFoundDir

protected java.io.File plansFoundDir

The output directory for the planner.

Constructor Detail

PlanningBasedAlignment

public PlanningBasedAlignment()

Method Detail

align

protected PlanningBasedReplayResult align(org.processmining.framework.plugin.PluginContext context,
                                          org.deckfour.xes.model.XLog log,
                                          org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                          PlanningBasedAlignmentParameters parameters)

The method that performs the alignment of an event log and a Petri net using Automated Planning.

Parameters:

context - The context where to run in.

log - The event log to replay.

petrinet - The Petri net on which the log has to be replayed.

parameters - The parameters to use.

Returns:

The result of the replay of the event log on the Petri net.

killSubprocesses

protected void killSubprocesses()

Shut down all active computations.

Overrides:

killSubprocesses in class AlignmentPddlEncoding