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 Details

    • PetriNetPlotter

      public PetriNetPlotter(Plotter plotter, PetriNet petriNet)
      Create a new instance for plotting the BpmnModel
      Parameters:
      plotter - PetriNetPlotter
      petriNet - PetriNetPlotter