DES Consistency
A DES is consistent if it meets the following criteria:
- The name of the DES does not contain invalid characters.
- Each state in the DES has a unique name within the DES statespace.
- The DES must have one and only one initial state.
- The DES must have at least one marked state.
- The DES must have at least one event.
- Each event in DES has a unique name (label) within the DES event space.
- The DES must be deterministic. This means a single initial state and no two transitions leaving the same state with the same event label.
- The DES must be reachable. This means that there must be a path from the initial state to every state in the DES.
- The DES must have at least one transition.
- If the DES is of type Interface, each event in DES must be either request, answer or low data.