Package org.tweetyproject.logics.petri.syntax

package org.tweetyproject.logics.petri.syntax

Class Summary

Class	Description
Ark	A class to describe arks in a Petri net
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

Enum Summary

Enum	Description
Ark.Direction