public class InteractivePetrinetVisualizerL
extends java.lang.Object
Constructor and Description |
---|
InteractivePetrinetVisualizerL() |
Modifier and Type | Method and Description |
---|---|
static javax.swing.JComponent |
getComponent(InteractivePetriNetL net) |
static PNetVisualizerGUIL |
newInteractiveViz(InteractivePetriNetL net) |
static prefuse.data.Graph |
petrinetToGraph(InteractivePetriNetL ipn) |
public static javax.swing.JComponent getComponent(InteractivePetriNetL net)
public static PNetVisualizerGUIL newInteractiveViz(InteractivePetriNetL net)
public static prefuse.data.Graph petrinetToGraph(InteractivePetriNetL ipn)