The process panel is the rightmost upper panel of the simulator. It displays the process instances of the system descriptions. A red token marks the current control point of each automaton. One or more of the automata edges may also be red to indicate the transition currently selected in the simulation control panel.
Clicking inside a process box with the right mouse button opens a pop-up menu with the following items:
Note: several items in the View menu affect the processes in the process panel. For example, the “Processes…” item may be used to hide and show processes.