com.inubit.research.validation.bpmn.soundness

Classes

• BPMNSimulator
• ProcessState
• ReachabilityGraph
• ReachabilityGraphEdge
• ReachabilityGraphNode
• SoundnessChecker

Enums

• SoundnessChecker.SplitOrJoinType

Exceptions

• StateSpaceException