…the template code will be syntactically correct but rather unuseful. For example, the template code for the initialization, observation, and stop functions for write-in-file monitors will be syntactically correct, but…
Data collector monitors
…if an associated node is deleted, it is likely that there will be errors in the monitor. Related pages Monitors, Data collector monitoring functions, Calculating statistics, Data collector functions, Performance…
Data Collector Monitoring Functions
…of type real option. Note that when an observation, initialization, or stop function returns integer values, the values are converted to infinite integers, i.e. IntInf.int, in order to avoid Overflow…
The User Interface of CPN Tools
First steps Graphical User Interface Index Marking menus Other tools Palette tools…
Timed Nets
…exist until the clock reaches a creation time, given by the token’s time stamp. When the clock reaches that time, the token suddenly springs into existence, so to speak, becomes…
Simulation replications
Single simulations can be run by applying the Fast forward, Play, Single Step, and Bind manually tools. To start a new simulation the Rewind tool must be applied, and a…
Simulation stop criteria
…Step, and Play tool are applied, the simulator will check if stop criteria are fulfilled Before each step is executed When simulating timed CP-nets, the simulator also checks if stop…
Simulator functions
…time values t1 and t2 ModelTime.lt(t1,t2) Less than function for time values ModelTime.cmp(t1,t2) Comparison function for time values t1 and t2 that returns an SML order value, e.g. LESS, GREATER…
Nondeterministic nets
…be chosen from a relatively short interval using the discrete function, then there are only few integers to choose from. It is not, however, obvious to the state space tool…
Performance output
…endpoints for the confidence interval, i.e. [avrg-half length, avrg+half length]. #name, percent, n, avrg, half length, lower ci endpoint, upper ci endpoint Marking_size_Server’Busy_1_avrg_iid 95 3 0.899389 0.069259 0.968648 0.830130 Marking_size_Server’Busy_1_count_iid…
