Uses of Class
org.tweetyproject.logics.petri.syntax.PetriNet

Packages that use PetriNet

Package	Description
org.tweetyproject.logics.bpm.parser.bpmn_to_petri
org.tweetyproject.logics.petri.plotting
org.tweetyproject.logics.petri.syntax.reachability_graph

Uses of PetriNet in org.tweetyproject.logics.bpm.parser.bpmn_to_petri

Methods in org.tweetyproject.logics.bpm.parser.bpmn_to_petri that return PetriNet

Modifier and Type	Method	Description
PetriNet	PetriNetParser.get()	retrieve the constructed Petri net

Uses of PetriNet in org.tweetyproject.logics.petri.plotting

Constructors in org.tweetyproject.logics.petri.plotting with parameters of type PetriNet

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

Uses of PetriNet in org.tweetyproject.logics.petri.syntax.reachability_graph

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph that return PetriNet

Modifier and Type	Method	Description
PetriNet	ReachabilityGraph.getPetriNet()	Return the petriNet

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph with parameters of type PetriNet

Modifier and Type	Method	Description
void	ReachabilityGraph.setPetriNet(PetriNet petriNet)	Setter petriNet

Constructors in org.tweetyproject.logics.petri.syntax.reachability_graph with parameters of type PetriNet

Modifier	Constructor	Description
	ReachabilityGraph(PetriNet petriNet)	Create a new instance
	ReachabilityGraphParser(PetriNet petriNet)	Constructor