Uses of Class
org.tweetyproject.logics.petri.syntax.Transition
Package
Description
-
Uses of Transition in org.tweetyproject.logics.petri.syntax
Modifier and TypeMethodDescriptionPetriNet.getEnabledTransitions()
Retrieve the transitions that are enabled in the current state (token distribution) of the netModifier and TypeMethodDescriptionboolean
PetriNet.add(Transition transition)
Add a transition to the Petri netvoid
PetriNet.fire(Transition transition)
ModifierConstructorDescriptionArk(Place place, Transition transition)
Create a new ark from a place to a transitionArk(Place place, Transition transition, int weight)
Create a new ark from a place to a transition with a certain weightArk(Transition transition, Place place)
Create a new ark from a transition to a placeArk(Transition transition, Place place, int weight)
Create a new ark from a transition to a place with a certain weight -
Uses of Transition in org.tweetyproject.logics.petri.syntax.reachability_graph
ModifierConstructorDescriptionMarkingEdge(Marking from, Marking to, Transition transition)
Create a new instance