User-defined monitoring functions
CPN ML


Related pages

Monitoring functions, User-defined monitors

User-defined Monitoring Functions

Each one of the User-defined monitors has the following monitoring functions:

Accessibility of the 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

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.