Package org.tweetyproject.logics.petri.syntax

package org.tweetyproject.logics.petri.syntax

Related Packages

Package	Description
org.tweetyproject.logics.petri.syntax.reachability_graph

Class	Description
Ark	A class to describe arks in a Petri net
Ark.Direction	Directions
PetriNet	A class to represent a Petri net
PetriNetNode	An abstract class for the two types of nodes in a Petri net, places and transitions
Place	A class to describe places in a Petri net
Transition	A class to describe transitions in a Petri net