Interface erlang(n:int, r:real) : real where n>=1 and r>0.0. Returns a drawing from an n-Erlang distribution with intensity r. A drawing from an n-Erlang distribution can be derived by addition…
Poisson
…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…
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
…the monitor will be replaced by the template code. The effects of applying the Generate template code tool can be reversed by applying the Undo. Here is the result of…
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…
Nondeterministic nets
…transitions. Using different random numbers will affect the way in which the state space is calculated. This in turn will have varying (and unpredictable) effects on the nondeterministic behavior in…
Temporal logic for state spaces
…net This net can be found in a subdir of cpntools called Samples\\DiningPhilosophers. Additional information Additional information about the facilities is available online: Technical report Slide presentation Related pages Verification…
Performance output
…100.000000 0.000000 100.000000 100.000000 Queue_Delay_max_iid 95 3 1102.333333 979.460644 2081.793977 122.872689 Queue_Delay_min_iid 95 3 0.000000 0.000000 0.000000 0.000000 Queue_Delay_sum_iid 95 3 35761.000000 31655.204653 67416.204653 4105.795347 Queue_Length_avrg_iid 95 3 3.753231 3.136438…
Performance analysis
…a mean of 100, as described above. Dynamic workload Kinds of simulations Statistical techniques exist for using simulation models to analyze terminating and non-terminating systems. Terminating simulations Terminating systems are…
