The system editor is used to create and edit the system to be analysed. A system description is defined by a set of process templates, some global declarations, process assignments and a system definition.
In this help section we describe how to use the left window of the editor, called the navigation tree, and how to draw automata with the editor. The system description language used in UPPAAL is described in a separate section.