Uses of Class
org.tweetyproject.logics.petri.syntax.Place
Package
Description
-
Uses of Place in org.tweetyproject.logics.petri.syntax
Modifier and TypeMethodDescriptionboolean
Add a place to the Petri netint
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 Place in org.tweetyproject.logics.petri.syntax.reachability_graph
Modifier and TypeMethodDescriptionint
boolean
void
Specify the number of tokens at the place at this marking