…Poisson distributions: Probability mass functions for Poisson distributions Example poisson(100.0) A company has a network with a certain load. Each second an average of 100 packets is sent to the…
Monitors
…other information) that are associated with a particular monitor are shown in monitor index entries. Index entry for Write-in-file monitor The visible functions can be viewed and edited either in…
Data types for monitored subnets
…associated with a monitor, they are ordered. They are sorted in ascending order by name, where the name is a string with this format <pagename>'<placename>_<instance number>_mark. No places, no transitions…
Errors in monitors
…of the accessible monitoring functions. A monitoring function can have a syntax error. Syntax error in monitoring function A monitoring function can have a type error. Type error in monitoring…
Monitoring functions
…when the Queue_Delay monitor has extracted exactly 100 values. Ordering of monitors The ordering of these two monitors in the index ensures that whenever the Start transition occurs, the Queue_Delay…
Monitor template code
…code will be generated as soon as the above tools are applied to appropriate targets, and the template code will be accessible in the monitor index entries. In many cases…
Data collector monitors
…created for the place instance that the tool is applied to. After creating a marking size monitor, a monitor is added to the index. Marking size monitor index entry A…
Data Collector Monitoring Functions
…subnet -> bool predicate function obs: subnet -> <numerical type> observation function stop: markings -> <numerical type> option stop function For more information about the subnet and markings data types,…
The User Interface of CPN Tools
First steps Graphical User Interface Index Marking menus Other tools Palette tools…
Publications
…Press, Cambridge, 2010. There are also online references for Standard ML: Programming in Standard ML by Robert Harper The Standard ML Basis Library (excellent manual) Standard ML of New Jersey…
