Green auras around enabled transitions and green underlines on the pages with enabled transitions (shown in the index and on page tabs)

Steps and time shown in the index under the net being simulated

Simulation feedback

A green status bubble will also appear when a simulation stops. A speech bubble will show the reason why the simulation stopped.

Reason for simulation stopping

Moving and hiding current marking information

Sometimes the simulation feedback covers parts of the net, making it hard to read. Therefore, it is possible to move the current marking information around by dragging it to a new position. Dragging the green circle will also move the green box with token values, but dragging the box will move the box independently from the circle.

Moving tokens and current markings

The positions of current marking information are saved when you save a model.

The token values can also be hidden. Click on a green circle to hide/show the corresponding token values.

Before hiding token values

After hiding token values

Fast-forward simulations

Simulation feedback is not updated during a fast forward simulation, but it is updated after the simulation has completed.

After applying the fast forward tool, a light purple status bubble will indicate that a time-consuming operation, i.e., a long simulation, is currently being executed.

Status bubble indicating time consuming simulation

Size of current marking box

The green boxes with token values will show one token value per line when the token values are relatively short.

Short token values

When the length of a token value is long, i.e. it exceeds a predefined width, then the token value will be wrapped and shown on two or more lines.

Wrapped token value

If the green box with token values is more than ca. 20 lines long, then only ca. 20 lines will be shown at one time, and two black arrowheads for scrolling will be added to the top and bottom of the green box.

Token values with scroll arrowheads

Click on an arrowhead to scroll in the token value text.

Scrolling in token values

If the green box has arrowheads for scrolling, then all token values can be viewed by entering text-edit mode in the green box.