Flat Project Validity
A flat project is valid if it meets the following criteria:
- The name of the project does not to contain invalid characters.
- All DES must pass consistency check described in DES Tools.
- If two different DES in the project contain an event with the same name, then the events must be identical in all their properties.
- Every event in the event set of the project is used in at least one DES component belonging to the project.
- The supervisor must contain at least one DES component.
- The plant must contain at least one DES component.