nl.tue.alignment.algorithms.syncproduct.petrinet
Classes
ReducedPetriNet
ReducedPlace
ReducedTransition
TransitionEventClassList
TransitionEventClassList.Wrap
Enums
ReducedTransition.Type