Modifier and Type | Method and Description |
---|---|
static PetriNetWithData |
DPNSynchronousProductComputation.computeSynchronousProduct(PetriNetWithData sourceNetA,
PetriNetWithData sourceNetB,
java.lang.String netName)
TODO: Write Javadoc
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
DPNSynchronousProductPlugin.computeDPNSynchronousProduct(org.processmining.contexts.uitopia.UIPluginContext context,
PetriNetWithData... nets)
TODO: Write Javadoc
|
static PetriNetWithData |
DPNSynchronousProductComputation.computeSynchronousProduct(PetriNetWithData sourceNetA,
PetriNetWithData sourceNetB,
java.lang.String netName)
TODO: Write Javadoc
|
static java.util.Map<org.processmining.models.graphbased.LocalNodeID,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
DPNUtility.getPlaceMap(PetriNetWithData net)
TODO: Write Javadoc
|
static java.util.Map<org.processmining.models.graphbased.LocalNodeID,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
DPNUtility.getTransitionMap(PetriNetWithData net)
TODO: Write Javadoc
|
static org.processmining.models.semantics.petrinet.Marking |
DPNUtility.mergeMarkings(PetriNetWithData net,
org.processmining.models.semantics.petrinet.Marking markingA,
org.processmining.models.semantics.petrinet.Marking markingB)
TODO: Write Javadoc
|
Modifier and Type | Method and Description |
---|---|
protected org.processmining.widgets.wizard.Dialog<PetriNetWithData> |
AddVariablesPanel.determineNextDialog() |
Constructor and Description |
---|
AddVariablesPanel(DataPetriNet inputNet,
PetriNetWithData retValue,
org.processmining.contexts.uitopia.UIPluginContext context,
PetriNetWithDataFactory factory) |
AddVariablesPanel(PetriNetWithData retValue,
org.processmining.contexts.uitopia.UIPluginContext context,
PetriNetWithDataFactory factory) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
DPNGraphvizVisualizerPlugin.visualise(org.processmining.framework.plugin.PluginContext context,
PetriNetWithData dpn) |
Modifier and Type | Class and Description |
---|---|
class |
DiscoveredPetriNetWithData
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
PetriNetWithData |
DPNWithMarkings.getNet()
Deprecated.
|
PetriNetWithData |
PetriNetWithDataFactory.getRetValue() |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
DPNVisualizer.visualizePrediction(org.processmining.framework.plugin.PluginContext context,
PetriNetWithData dataPN) |
Constructor and Description |
---|
DataElement(java.lang.String varName,
java.lang.Class type,
java.lang.Comparable minValue,
java.lang.Comparable maxValue,
PetriNetWithData petrinet) |
PetriNetWithDataFactory(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph originalGraph,
PetriNetWithData dpn,
boolean avoidHavingTransitionWithSameName) |