Package | Description |
---|---|
nl.tue.alignment.algorithms.syncproduct | |
nl.tue.alignment.algorithms.syncproduct.petrinet |
Class and Description |
---|
ReducedTransition |
Class and Description |
---|
ReducedPlace |
ReducedTransition |
ReducedTransition.Type |
TransitionEventClassList
Keeps two lists.
|