Package org.processmining.specpp.datastructures.petri

Class PetrinetVisualization

java.lang.Object

org.processmining.specpp.supervision.observations.Visualization<org.processmining.plugins.graphviz.visualisation.DotPanel>

org.processmining.specpp.datastructures.petri.PetrinetVisualization

All Implemented Interfaces:

Observation

public class PetrinetVisualization
extends Visualization<org.processmining.plugins.graphviz.visualisation.DotPanel>

Constructor Summary

Constructors

Constructor	Description
PetrinetVisualization(java.lang.String title, org.processmining.plugins.graphviz.visualisation.DotPanel dotPanel)

Method Summary

Modifier and Type	Method	Description
static PetrinetVisualization	of(java.lang.String title, ProMPetrinetWrapper petrinetWrapper)
static PetrinetVisualization	of(ProMPetrinetWrapper petrinetWrapper)

Methods inherited from class org.processmining.specpp.supervision.observations.Visualization

getComponent, getTitle

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrinetVisualization

public PetrinetVisualization(java.lang.String title,
                             org.processmining.plugins.graphviz.visualisation.DotPanel dotPanel)

Method Detail

of

public static PetrinetVisualization of(ProMPetrinetWrapper petrinetWrapper)

of

public static PetrinetVisualization of(java.lang.String title,
                                       ProMPetrinetWrapper petrinetWrapper)