BLOCK_ALL

StrategyType

BLOCK_TRANSITION

StrategyType

BiPartiteGraph

api

BlockTransition

ExceptionStrategy

boundedness

PetriNetAnalysis