Several kinds of graphical feedback are used to provide different kinds of information when editing and analyzing a CP-net.

  • Speech bubbles
  • Status bubbles
  • Auras
  • Changing cursor icon

Speech bubbles

A speech bubble is a yellow rectangle that provides context-sensitive information. Some speech bubbles appear automatically, while others appear after a slight delay after the cursor is moved over an appropriate object. For example, moving the cursor over a declaration with a syntax error will cause a speech bubble containing an error message to appear.

A speech bubble

A speech bubble

Speech bubbles are used to show:

  • Error messages during syntax checking.
  • Error messages during simulation.
  • Tool tips for tools in palettes available.
  • Detailed information for status bubbles, which are described below
  • The result of applying the Evaluate ML tool.
  • The full path to a saved net. To see the full path, move the cursor over the name of the net in the index.

To make a speech bubble disappear either click on it, or move the cursor away from the object with which the speech bubble is associated.

Status bubbles

Status bubbles are color-coded bubbles that occasionally appear at the bottom of the index. Move the cursor over a status bubble to see the corresponding speech bubble.

A status bubble with a speech bubble

A status bubble with a speech bubble

Status bubbles have one of the following colors:

  • Green indicates that an operation was completed successfully.
  • Yellow indicates either a warning or that a stop criteria was fulfilled when calculating the state space
  • Red indicates that an error occurred when executing an operation.
  • Light purple indicates that a time-consuming operation, such as a long simulation, is currently being executed.

Some status bubble will automatically disappear after a certain amount of time. Red status bubbles will not disappear until you click on them

Red status bubbles

Red status bubbles


Color-coded auras are used to highlight objects with particular characteristics or to indicate different kinds of relationships between objects. Auras are associated with places, transitions, arcs, inscriptions, declarations, monitors, page tabs, and index entries, such as page names and net names.

Color-coded auras

Color-coded auras

Auras have the following colors:

Changing cursor icon

The cursor icon changes to indicate which actions can be, or are being, performed. For example:

  • The standard cursor is an arrow or just an arrowhead, e.g.
  • The hand cursor, i.e. , indicates that an item can be moved.
  • The crossbar cursor indicates that it is possible to edit text.
  • The double-headed arrow cursor indicates that an item can be resized. The directions of the arrow heads indicate which direction the item can be resized, e.g.. horizontally , vertically, or both simultaneously.
  • The hourglass cursor indicates that a time-consuming operation, such as opening a net, is being performed.
  • After picking up a tool from one of the palettes, the cursor will change to indicate which tool has been picked up.
  • For multi-phase tools, i.e. tools that are applied by clicking on more than one object, the cursor will indicate which phase of the tool will be applied next. Examples of multi-phase tools are the assign port-socket tool and the set subpage tool.
Queues and stacks
Syntax checking

You must be logged in to post a comment.