User-defined monitoring functions | CPN Tools help |
CPN ML |
Each one of the User-defined monitors has the following monitoring functions:
initialization | predicate | observation | action | stop | |
User-defined monitor | accessible | accessible | accessible | accessible | accessible |
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>
is the type of the values returned by the observation function. The <obstype>
is determined by the user, and can be different for each different user-defined monitor.
For more information about the subnet
and markings
data types see Data types for monitored subnets.
Examples of monitoring functions for user-defined monitors can be found in the example nets for the Dining Philosophers Monitored net and the Queue System net.