Modifier and Type | Interface and Description |
---|---|
interface |
DataPetriNetsWithMarkings |
Modifier and Type | Method and Description |
---|---|
static DataPetriNet |
DataPetriNet.Factory.viewAsDataPetriNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
static DataPetriNet |
DataPetriNet.Factory.viewAsDataPetriNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.framework.plugin.PluginContext context) |
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
DataPetriNet.Factory.toPetrinet(DataPetriNet net)
Copies the
DataPetriNet to a Petrinet , i.e., without
guard, variables. |
static DataPetriNet.PetrinetWithMarkings |
DataPetriNet.Factory.toPetrinetWithMarkings(DataPetriNet net)
Copies the
DataPetriNet to a Petrinet , i.e., without
guard, variables. |
Modifier and Type | Method and Description |
---|---|
static DataPetriNet |
DataPetriNetConversionsPlugin.convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
DataPetriNetConversionsPlugin.convertToPetriNet(org.processmining.contexts.uitopia.UIPluginContext context,
DataPetriNet dpn) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
DPN.toText(DataPetriNet dpn) |
static java.lang.String |
DPN.toText(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
static DPNTextEditor |
DPNTextEditor.newInstance(DataPetriNet net,
DPNTextEditor.ModelSaver modelSaver) |
static DPNTextEditor |
DPNTextEditor.newInstance(DataPetriNet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
DPNTextEditor.ModelSaver modelSaver) |
Modifier and Type | Method and Description |
---|---|
void |
DataPetriNetExporter.export(DataPetriNet net,
java.io.File file) |
void |
DataPetriNetExporter.exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
DataPetriNet net,
java.io.File file) |
protected void |
DataPetriNetExporter.exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
DataPetriNet net,
java.io.File file,
org.processmining.plugins.pnml.base.Pnml.PnmlType type) |
Constructor and Description |
---|
AddVariablesPanel(DataPetriNet inputNet,
PetriNetWithData retValue,
org.processmining.contexts.uitopia.UIPluginContext context,
PetriNetWithDataFactory factory) |
Modifier and Type | Method and Description |
---|---|
DataPetriNet |
CPNAnalysisResults.getDpn() |
Modifier and Type | Method and Description |
---|---|
static CPNAnalysisResults |
SoundnessOfPetriNets.analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.plugins.cpnet.ColouredPetriNet cpn,
DataPetriNet dpn) |
static CPNAnalysisResults |
SoundnessOfPetriNets.analysisCPN(org.processmining.contexts.uitopia.UIPluginContext context,
org.cpntools.accesscpn.model.PetriNet cpn,
DataPetriNet dpn) |
static org.cpntools.accesscpn.model.PetriNet |
ConvertToCPNTools.convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context,
DataPetriNet dpn) |
static CPNAnalysisResults |
DPNSoundness.convertFromPetriNet(org.processmining.contexts.uitopia.UIPluginContext context,
DataPetriNet dpn) |
static java.util.SortedSet<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
ConvertToCPNTools.createMarking(org.processmining.framework.plugin.PluginContext context,
DataPetriNet dpn,
java.lang.String title) |
Constructor and Description |
---|
CPNAnalysisResults(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
protected DataPetriNet |
DPNGraphvizVisualizer.getDpn() |
Modifier and Type | Method and Description |
---|---|
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableDisplayMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction) |
static DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.convertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap) |
protected javax.swing.table.DefaultTableModel |
DPNGraphvizVisualizer.createTableModel(DataPetriNet dpn) |
org.processmining.plugins.graphviz.dot.Dot |
DPNGraphvizConverterPlugin.dataPetriNetToDotCombined(org.processmining.contexts.uitopia.UIPluginContext context,
DataPetriNet petrinet) |
DPNGraphvizConverter.DPNAsDot |
DPNGraphvizConverter.doConvertDPN(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
DPNGraphvizConverterPlugin.GuardDisplayMode guardDisplayMode,
DPNGraphvizConverterPlugin.VariableDisplayMode variableMode,
DPNGraphvizConverterPlugin.PlaceDisplayMode placeDisplayMode,
org.processmining.plugins.graphviz.dot.Dot.GraphDirection direction,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.util.Map<DPNGraphvizConverter.DecorationKey,java.lang.Object>> attributeMap) |
protected static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
DPNGraphvizVisualizer.getSortedTransitions(DataPetriNet dpn) |
javax.swing.JComponent |
DPNGraphvizVisualizerPlugin.visualise(org.processmining.framework.plugin.PluginContext context,
DataPetriNet dpn) |
Constructor and Description |
---|
DPNGraphvizVisualizer(DataPetriNet dpn,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
Modifier and Type | Class and Description |
---|---|
class |
DiscoveredPetriNetWithData
Deprecated.
|
class |
PetriNetWithData |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.lang.String> |
PetriNetWithData.getAllVariableNames(DataPetriNet net) |
static java.util.Map<java.lang.String,java.lang.Class> |
PetriNetWithData.getVariableTypes(DataPetriNet net) |
void |
PNWDTransition.setGuard(DataPetriNet petriNetWithData,
Expression expr)
Deprecated.
|
void |
PNWDTransition.setGuard(DataPetriNet petriNetWithData,
Expression guard2,
double quality)
Deprecated.
|
void |
PNWDTransition.setGuard(DataPetriNet petriNetWithData,
org.processmining.datapetrinets.expression.GuardExpression guardExpression)
Associates a
GuardExpression with this transition. |
void |
PNWDTransition.setGuard(DataPetriNet petriNetWithData,
org.processmining.datapetrinets.expression.GuardExpression guardExpression,
double quality)
Associates a
GuardExpression with this transition. |
void |
PNWDTransition.setGuard(DataPetriNet petriNetWithData,
java.lang.String expression) |
void |
PNWDTransition.setGuardAsString(DataPetriNet petriNetWithData,
java.lang.String guardAsString)
Deprecated.
|