| | 39 | 1. Open/Create a *.rnw drawing that contains places and transitions. |
| | 40 | 2. Select places or transitions and use the Plugins -> Watchpoints menu to set or clear watchpoints. |
| | 41 | 3. Run a simulation. Trace data will be generated when watched transitions fire or watched places |
| | 42 | change markings. The generated file can be found in USER_HOME/.renew/monitoring.log. |
| | 43 | 4. Use the Plugins -> Watchpoints -> Analysis menu to generate a HeatMap to color elements based on |
| | 44 | collected data or perform interval analysis. |
| | 45 | |
| | 46 | === Example net |
| | 47 | |