Uses of Class
org.tweetyproject.logics.petri.syntax.PetriNet
Package
Description
-
Uses of PetriNet in org.tweetyproject.logics.bpm.parser.bpmn_to_petri
-
Uses of PetriNet in org.tweetyproject.logics.petri.plotting
ModifierConstructorDescriptionPetriNetPlotter(Plotter plotter, PetriNet petriNet)
Create a new instance for plotting the BpmnModel -
Uses of PetriNet in org.tweetyproject.logics.petri.syntax.reachability_graph
ModifierConstructorDescriptionReachabilityGraph(PetriNet petriNet)
Create a new instanceReachabilityGraphParser(PetriNet petriNet)