org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl

Class StandardPddlEncoder

java.lang.Object

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

org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl.StandardPddlEncoder

public class StandardPddlEncoder
extends AbstractPddlEncoder

A standard implementation of the PDDL encoder that does NOT take into account a possible partial ordering in the event log to be replayed on the Petri net.

Author:

Giacomo Lanciano

Field Summary

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
StandardPddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, PlanningBasedAlignmentParameters parameters)

Method Summary

Modifier and Type	Method and Description
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.

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

encode, encode, encode, encode, getPddlEncoding, getPddlIdToEventClassMapping, getPddlIdToPetrinetNodeMapping

Methods inherited from class java.lang.Object

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

Constructor Detail

StandardPddlEncoder

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

Method Detail

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.