TokenGame

api

Transition

colored

TransitionDSL

dsl

TransitionExceptionHandler

colored

TransitionExecutor

colored

TransitionExecutorImpl

colored

TransitionFailedException

colored

TransitionFunction

colored

tfn

TransitionExecutorImpl

toMarkedPlace

colored

toMarking

colored IterableToMarking

toString

Marking PlaceImpl

transition

StateTransitionNet

transitionFunctions

TransitionExecutorImpl

transitionIdentifier

colored

transitionLabeler

colored

transitionToNode

api

transitions

PetriNet PetriNetGraphAdditions ScalaGraphPetriNet colored