Screen shots

Some very simple graph. Such graph can be manually created in Higres within two minutes.
Same graph in the edit mode. A vertex was selected with the left mouse button and then the right mouse button was pressed to display the popup menu.
This time an edge was selected. Some commands in the menu are the same, but there are also different ones.
Several objects can be selected for cut/copy/paste operations. Some operations in the popup menu can be also applied to all selected objects.

A VLSI model. It consists of three modules folded into fragments. These fragments are displayed in separate windows with different scales. One fragment (Module II) is open and its content is also displayed inside the VLSI window. Two other fragments are closed and shown in this window as covered rectangles.
Another hierarchically clustered graph. One fragment is open and shown in details, other four fragments are closed.

The graph of a finite automaton. The external module shows the work of this automaton. Active states are shown by asterisks. Two lines of text in the top left corner of the graph window are the tail of the input string, that is not processed so far, and the already processed part. The user can control the execution and animation with the Process toolbar. The Process protocol window contains textual output of the algorithm and some execution information.
A Petri net graph. The external module simulates the work of this Petri net. Number inside each place is the number of tokens in that place. Number near each transition is the priority of that transition. Priorities are needed to make this Petri net deterministic. Asterisk shows the transition that will fire on next step.
The scheme of the quick power program. The external module executes this scheme step by step. The values of all variables are shown in the top left corner of the graph window. This example shows how it looks when the execution is completed (the Stop operator is executed). The animation is still available, because Higres caches samples.