| Interface | Description |
|---|---|
| DPNState | |
| MarkingAwareModelState | |
| ModelState | |
| PrecisionState | |
| StateFactory | |
| StateTransition | |
| TraceState | |
| TransitionAwareStateTransition |
| Class | Description |
|---|---|
| DPNStateImpl | |
| PrecisionStateImpl | |
| StateFactoryDPNImpl | |
| StateTransitionActivityImpl | |
| StateTransitionResourceAndActivityImpl | |
| TraceStatePrefixImpl |