Package org.tweetyproject.logics.petri.plotting

Class PetriNetPlotter

java.lang.Object

org.tweetyproject.graphs.util.GraphPlotter<PetriNetNode,Ark>

org.tweetyproject.logics.petri.plotting.PetriNetPlotter

public class PetriNetPlotter
extends GraphPlotter<PetriNetNode,Ark>

This class is for displaying instances of the PetriNet class graphically

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
PetriNetPlotter(Plotter plotter, PetriNet petriNet)	Create a new instance for plotting the BpmnModel

Method Summary

Methods inherited from class org.tweetyproject.graphs.util.GraphPlotter

addLabels, createGraph, createGraph

Methods inherited from class java.lang.Object

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

Constructor Details

PetriNetPlotter

public PetriNetPlotter(Plotter plotter,
 PetriNet petriNet)

Create a new instance for plotting the BpmnModel

Parameters:

plotter - PetriNetPlotter

petriNet - PetriNetPlotter