Create global groups:
Create global group
Create group
The tool can be applied to different targets.
Apply the tool to a group tab:
- Select the Create Global Group entry in the group tab marking menu.
- A new, empty global group is created and activated.
Apply the tool to a monitor:
- Apply the tool to the
Nodes ordered by pagesentry in the monitor index entries. - A global group is created. The group contains the places and transitions that are monitored by the monitor.
This tool is available through:
You must be logged in to post a comment.