While a simulation runs, the following simulation feedback is shown:
- Current markings of places are shown near the places.
- The number of tokens on a place is shown in a green circle.
- The corresponding token values are shown in green boxes
- 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.
Viewing all token values
Related pages
You must be logged in to post a comment.