Documentation

Data collector monitors are used to extract numerical data during simulations. The numerical data is used when calculating statistics, and the data may be saved in data collector log files. A data collector can calculate either timed or untimed statistics, which are described on the help pages for calculating statistics. Data collector monitors are used for performance analysis of CPNs. There are four data collector […]

Each one of the Data collector monitors has the following monitoring functions: Initialization function is called once before a simulation starts. It returns an optional numerical value (see below for more information about optional values). If the function returns NONE then nothing will happen. If the function returns a value of the form SOME x where x is a number, then x will be used […]

User-defined monitors can be used for any purpose that is not covered by the other kinds of Monitors. For example, a user-defined monitor could be used for external communication with Comms/CPN. User-defined monitors are extremely flexible, but they require that the user must write the appropriate monitoring functions. To create such a monitor, apply the Create user-defined monitor tool to an appropriate target. After the […]

Each one of the User-defined monitors has the following monitoring functions: Initialization function Predicate function Observation function Action function Stop function Accessibility of the monitoring functions: Function types for the accessible functions init: markings -> unit initialization function pred: subnet -> bool predicate function obs: subnet -> <obstype> observation function action: <obstype> -> unit action function stop: markings -> string stop function The type <obstype> […]

Write-in-file monitors are used to update files during simulations. To create a write-in-file monitor, apply the Create write-in file monitor tool to the appropriate subnet. After the tool has been applied, a new monitor will be added to the index, and monitor template code will be generated for some of the write-in-file monitoring functions. A default name is suggested, but the name can be changed. […]

Each one of the Write-in-file monitors has the following monitoring functions: Initialization function is called once before a simulation starts. It returns a string that is added to the file before the simulation starts. Predicate function is called after simulation steps. When the predicate function returns true, the observation and action functions are called. Observation function examines the monitored nodes, and returns a string to […]

The net overview of a particular net contains an overview of the monitors that are defined for the net. Each entry under the Monitors index entry is either a monitor or a block of monitors. Blocks of monitors are used to divide monitors in to groups, and are similar to declaration blocks. In the figure below the BREAKPOINTS entry is a monitor block, while the […]