Transition

petrinet

toString

EventTransition InteractionTransition

translateKeys

api

type

IngredientDescriptor