MarkedPlace

api

Marking

api

MissingEventTransition

petrinet

MultiFacilitatorTransition

petrinet

MultiSet

api

MultiTransitionPlace

Place

maximumInteractionCount

InteractionTransition

maximumRetries

RetryWithIncrementalBackoff