# DES Consistency

A DES is consistent if it meets the following criteria:

1. The name of the DES and the state and event labels it contains do not contain invalid characters.
2. Each state in the DES has a unique name within the DES statespace.
3. The DES must have one and only one initial state.
4. The DES must have at least one marked state.
5. The DES must have at least one event.
6. Each event in DES has a unique name (label) within the DES event space.
7. The DES must be deterministic. This means a single initial state and no two transitions leaving the same state with the same event label.
8. The DES must be reachable. This means that there must be a path from the initial state to every state in the DES.
9. The DES must have at least one transition.
10. If the DES is of type Interface, each event in DES must be either request, answer or low data.
11. Only template DES can contain name, state and event labels that contain '%' characters.
12. Every variable that appears in a state or event label inside a template DES, must also appear in the name of the DES.

« DES Tools | Save DES »