org.processmining.datapetrinets.visualization.graphviz

Class DPNGraphvizConverterPlugin

java.lang.Object

org.processmining.datapetrinets.visualization.graphviz.DPNGraphvizConverterPlugin

public class DPNGraphvizConverterPlugin
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DPNGraphvizConverterPlugin.GuardDisplayMode
static class	DPNGraphvizConverterPlugin.PlaceDisplayMode
static class	DPNGraphvizConverterPlugin.VariableDisplayMode

Constructor Summary

Constructors

Constructor and Description
DPNGraphvizConverterPlugin()

Method Summary

Modifier and Type	Method and Description
org.processmining.plugins.graphviz.dot.Dot	dataPetriNetToDotCombined(org.processmining.contexts.uitopia.UIPluginContext context, DataPetriNet petrinet)

Methods inherited from class java.lang.Object

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

Constructor Detail

DPNGraphvizConverterPlugin

public DPNGraphvizConverterPlugin()

Method Detail

dataPetriNetToDotCombined

public org.processmining.plugins.graphviz.dot.Dot dataPetriNetToDotCombined(org.processmining.contexts.uitopia.UIPluginContext context,
                                                                            DataPetriNet petrinet)
                                                                     throws org.processmining.framework.util.ui.widgets.helper.UserCancelledException

Throws:

org.processmining.framework.util.ui.widgets.helper.UserCancelledException