MarkedPlace

api

Marking

api

MissingEventTransition

petrinet

MultiFacilitatorTransition

petrinet

MultiSet

api

MultiTransitionPlace

Place

markedPetriNetTheme

PetriNetDot

maxFiringLimit

EventTransition

maxLimit

FiringLimiterPlace

maxTimeBetweenRetries

RetryWithIncrementalBackoff

maximumInteractionCount

InteractionTransition

maximumRetries

RetryWithIncrementalBackoff