org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl

Class PartialOrderAwarePddlEncoder

java.lang.Object

org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl.AbstractPddlEncoder

org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl.PartialOrderAwarePddlEncoder

public class PartialOrderAwarePddlEncoder
extends AbstractPddlEncoder

An implementation of the PDDL encoder that takes into account a possible partial ordering in the event log to be replayed on the Petri net.

Author:

Giacomo Lanciano

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<org.deckfour.xes.model.XEvent,java.lang.String>	eventToLabelMapping The mapping between the events in the trace and their (positional, unique) labels, used to refer to them in the PDDL encding.
protected java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>>	groupIdToEventsMapping The mapping between isochronous groups ids and the related events.
protected java.util.Map<java.lang.String,java.lang.Integer>	timestampToGroupIdMapping The mapping between isochronous groups timestamps (that are the unique timestamps in the trace) and their ids.

Fields inherited from class org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl.AbstractPddlEncoder

DUMMY, INVISIBLE_TRANSITION_PREFIX, LOG_MOVE_PREFIX, MODEL_MOVE_PREFIX, movesOnModelBuffer, parameters, pddlIdToEventClassMapping, pddlIdToOccurrencesMapping, pddlIdToPetrinetNodeMapping, petrinet, petrinetNodeToPddlIdMapping, SEPARATOR, SYNCH_MOVE_PREFIX

Constructor Summary

Constructors

Constructor and Description
PartialOrderAwarePddlEncoder()
PartialOrderAwarePddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, PlanningBasedAlignmentParameters parameters)

Method Summary

Modifier and Type	Method and Description
void	buildIsochronousGroups(org.deckfour.xes.model.XTrace trace) Initialize the data structures needed for dealing with the partially ordered events in the current trace.
protected java.lang.String	createPropositionalDomain(org.deckfour.xes.model.XTrace trace) Create PDDL Domain for the given log trace.
protected java.lang.String	createPropositionalProblem(org.deckfour.xes.model.XTrace trace) Create PDDL Domain for the given log trace.
java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>>	getGroupIdToEventsMapping()
java.lang.String[]	getPddlEncoding(org.deckfour.xes.model.XTrace trace) Return the encoding of the alignment problem for the given trace in PDDL.

Methods inherited from class org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl.AbstractPddlEncoder

encode, encode, encode, encode, getPddlIdToEventClassMapping, getPddlIdToPetrinetNodeMapping

Methods inherited from class java.lang.Object

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

Field Detail

eventToLabelMapping

protected java.util.Map<org.deckfour.xes.model.XEvent,java.lang.String> eventToLabelMapping

The mapping between the events in the trace and their (positional, unique) labels, used to refer to them in the PDDL encding.

timestampToGroupIdMapping

protected java.util.Map<java.lang.String,java.lang.Integer> timestampToGroupIdMapping

The mapping between isochronous groups timestamps (that are the unique timestamps in the trace) and their ids. NOTE: Since the ids reflect their chronological order, it is easy to access the "previous" group, given the timestamp of an event.

groupIdToEventsMapping

protected java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>> groupIdToEventsMapping

The mapping between isochronous groups ids and the related events.

Constructor Detail

PartialOrderAwarePddlEncoder

public PartialOrderAwarePddlEncoder()

PartialOrderAwarePddlEncoder

public PartialOrderAwarePddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                    PlanningBasedAlignmentParameters parameters)

Method Detail

getPddlEncoding

public java.lang.String[] getPddlEncoding(org.deckfour.xes.model.XTrace trace)

Description copied from class: AbstractPddlEncoder

Return the encoding of the alignment problem for the given trace in PDDL.

Overrides:

getPddlEncoding in class AbstractPddlEncoder

Parameters:

trace - The event log trace whose alignment has to be encoded.

Returns:

An array of Strings containing respectively the planning Domain and the planning Problem.

buildIsochronousGroups

public void buildIsochronousGroups(org.deckfour.xes.model.XTrace trace)

Initialize the data structures needed for dealing with the partially ordered events in the current trace.

Parameters:

trace - The event log trace whose alignment has to be encoded.

createPropositionalDomain

protected java.lang.String createPropositionalDomain(org.deckfour.xes.model.XTrace trace)

Description copied from class: AbstractPddlEncoder

Create PDDL Domain for the given log trace.

Specified by:

createPropositionalDomain in class AbstractPddlEncoder

Parameters:

trace - The event log trace whose alignment has to be encoded.

Returns:

A String containing the PDDL Domain.

createPropositionalProblem

protected java.lang.String createPropositionalProblem(org.deckfour.xes.model.XTrace trace)

Description copied from class: AbstractPddlEncoder

Create PDDL Domain for the given log trace.

Specified by:

createPropositionalProblem in class AbstractPddlEncoder

Parameters:

trace - The event log trace whose alignment has to be encoded.

Returns:

A String containing the PDDL Problem.

getGroupIdToEventsMapping

public java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>> getGroupIdToEventsMapping()