…be post-processed, e.g. by importing them into spreadsheet programs or plotting them in graphs. Write-in-file monitors are used to update files during simulations. User-defined monitors are generic monitors that can…
Monitoring functions
…are completely hidden from users, and for other kinds of monitors some or all monitoring functions are accessible for users. If a monitoring function is accessible for a user, then…
Breakpoint monitors
…monitor tool to a transition. A transition enabled monitor will be deleted if the corresponding transition is deleted. Generic breakpoint monitors A Generic breakpoint monitor can be used to stop…
Breakpoint monitoring functions
…the monitoring functions for the different kinds of breakpoint monitors: PredicateAction Place contents hidden hidden Transition enabled hidden hidden Generic breakpoint accessible hidden Generic breakpoint monitors Function types for the…
Data collector monitors
…deleted. All of the data collector monitoring functions for count transition occurrences monitors are hidden. The monitor will calculate untimed statistics. Generic data collector monitors A Generic data collector monitor…
Data Collector Monitoring Functions
…hidden hidden hidden Generic data collector accessible accessible accessible hidden accessible Generic data collector monitors Function types for the accessible functions init: markings -> <numerical type> option initialization function pred:…
Write-in-file monitoring functions
…Initialization Predicate Observation Action Stop Generic write-in-file accessible accessible accessible hidden accessible Generic Write-in-file monitors Function types for the accessible functions init : markings -> string initialization function pred :…
The User Interface of CPN Tools
First steps Graphical User Interface Index Marking menus Other tools Palette tools…
Monitor index entries
…example, generic breakpoint monitors do not have any options. Monitor without options But marking size monitors have an option to indicate whether the data that is collected during a simulation…
Timed Nets
…complex that modeling it by firing a sequence of simple transitions, rather than one complex transition, is most convenient. Leaving the clock unincremented during such a sequence lets us model…
