org.processmining.models.graphbased.directed.petrinetwithdata.newImpl

Class PetriNetWithDataFactory

java.lang.Object

org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PetriNetWithDataFactory

public class PetriNetWithDataFactory
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph, PetriNetWithData dpn, boolean avoidHavingTransitionWithSameName)
PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph, java.lang.String netName)
PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph, java.lang.String netName, boolean avoidHavingTransitionWithSameName)

Method Summary

Modifier and Type	Method and Description
org.processmining.models.semantics.petrinet.Marking[]	cloneInitialAndFinalConnection(org.processmining.framework.plugin.PluginContext context)
org.processmining.models.semantics.petrinet.Marking	convertMarking(org.processmining.models.semantics.petrinet.Marking marking)
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>	getPlaceMapping()
PetriNetWithData	getRetValue()
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>	getTransMapping()

Methods inherited from class java.lang.Object

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

Constructor Detail

PetriNetWithDataFactory

public PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph,
                               java.lang.String netName)

PetriNetWithDataFactory

public PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph,
                               java.lang.String netName,
                               boolean avoidHavingTransitionWithSameName)

PetriNetWithDataFactory

public PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph,
                               PetriNetWithData dpn,
                               boolean avoidHavingTransitionWithSameName)

Parameters:

originalGraph -

dpn - the (blank) DPN instance which will be used during the conversion

avoidHavingTransitionWithSameName -

Method Detail

cloneInitialAndFinalConnection

public org.processmining.models.semantics.petrinet.Marking[] cloneInitialAndFinalConnection(org.processmining.framework.plugin.PluginContext context)

getRetValue

public PetriNetWithData getRetValue()

Returns:

the new DPN based on the supplied Petrinet. Be aware that the place and transition objects changed!

getTransMapping

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransMapping()

Returns:

mapping from old to new transitions

getPlaceMapping

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaceMapping()

Returns:

mapping from old to new places

convertMarking

public org.processmining.models.semantics.petrinet.Marking convertMarking(org.processmining.models.semantics.petrinet.Marking marking)