public class PetriNetWithDataFactory
extends java.lang.Object
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) |
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() |
public PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph, java.lang.String netName)
public PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph, java.lang.String netName, boolean avoidHavingTransitionWithSameName)
public PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph, PetriNetWithData dpn, boolean avoidHavingTransitionWithSameName)
originalGraph
- dpn
- the (blank) DPN instance which will be used during the
conversionavoidHavingTransitionWithSameName
- public org.processmining.models.semantics.petrinet.Marking[] cloneInitialAndFinalConnection(org.processmining.framework.plugin.PluginContext context)
public PetriNetWithData getRetValue()
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransMapping()
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaceMapping()
public org.processmining.models.semantics.petrinet.Marking convertMarking(org.processmining.models.semantics.petrinet.Marking marking)