org.processmining.generalizedconformance.algorithms.converter

Class RelaxedPT2PetrinetConverter

java.lang.Object

org.processmining.ptconversions.pn.ProcessTree2Petrinet

org.processmining.generalizedconformance.algorithms.converter.RelaxedPT2PetrinetConverter

public class RelaxedPT2PetrinetConverter
extends org.processmining.ptconversions.pn.ProcessTree2Petrinet

Plugin to convert a Process Tree to a Petri Net. - Needs work on the OR: can be expressed nonexponentially. - Not all operators are implemented: throws a NotYetImplementedException if fed with such a construct. - Does not make connections between XEventClasses/Leaves and Transitions, but preserves labels. For non-plugin use, use static call to convert(ProcessTree tree)

See Also:

for original code!

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.ptconversions.pn.ProcessTree2Petrinet

org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException, org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings, org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode

Field Summary

Fields inherited from class org.processmining.ptconversions.pn.ProcessTree2Petrinet

placeCounter

Constructor Summary

Constructors

Constructor and Description
RelaxedPT2PetrinetConverter()

Method Summary

Modifier and Type	Method and Description
protected static void	addTransition(org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode unode, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.util.Map<org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapPath2Transitions, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path)
static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings	convert(org.processmining.processtree.ProcessTree tree)
static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings	convert(org.processmining.processtree.ProcessTree tree, boolean keepStructure)
static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings	convertKeepStructure(org.processmining.processtree.ProcessTree tree)
static void	postProcessMinedTree(org.processmining.processtree.ProcessTree tree) Removes unnecessary tau transitions from XorLoop Blocks.
static void	prepareForQualityCheck(org.processmining.processtree.ProcessTree bestTree)

Methods inherited from class org.processmining.ptconversions.pn.ProcessTree2Petrinet

debug

Methods inherited from class java.lang.Object

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

Constructor Detail

RelaxedPT2PetrinetConverter

public RelaxedPT2PetrinetConverter()

Method Detail

convert

public static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree)
                                                                                            throws org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException,
                                                                                                   org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException

Throws:

org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException

org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException

convertKeepStructure

public static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings convertKeepStructure(org.processmining.processtree.ProcessTree tree)
                                                                                                         throws org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException,
                                                                                                                org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException

Throws:

org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException

org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException

convert

public static org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings convert(org.processmining.processtree.ProcessTree tree,
                                                                                                   boolean keepStructure)
                                                                                            throws org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException,
                                                                                                   org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException

Throws:

org.processmining.ptconversions.pn.ProcessTree2Petrinet.NotYetImplementedException

org.processmining.ptconversions.pn.ProcessTree2Petrinet.InvalidProcessTreeException

addTransition

protected static void addTransition(org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode unode,
                                    org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
                                    java.util.Map<org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapPath2Transitions,
                                    java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.ptconversions.pn.ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path)

postProcessMinedTree

public static void postProcessMinedTree(org.processmining.processtree.ProcessTree tree)

Removes unnecessary tau transitions from XorLoop Blocks. Does that on the input without returning a new one.

Parameters:

tree -

prepareForQualityCheck

public static void prepareForQualityCheck(org.processmining.processtree.ProcessTree bestTree)