Monitoring tools
Palettes available


The Monitoring tools are used to create monitors:

Monitoring tools

Click on a cell below to get help on a specific tool.

Create data collector monitorCreate marking size monitorCreate breakpoint bonitorCreate user-defined monitorCreate write-in-file monitor
Create list length monitorCreate count transition occurences monitorCreate place contents monitorCreate transition enabled monitoremptyToolCellBottomBorder.jpg