Monitoring functions

Monitoring functions

…place. Similarly, the observation function will extract data from the marking of the place, but it will ignore the information about the transitions that occur. Ordering of monitors The order

Read Me Leave comment

Monitor template code

Monitor template code

…applied: Create breakpoint monitor Create write-in-file monitor Create data collector monitor Create user-defined monitor If there are no problems with the nodes that are to be monitored, then the template…

Read Me Leave comment

Data collector monitors

Data collector monitors

…There are four data collector monitors: Marking size monitors List length monitors Count transition occurrences monitors Generic data collectors Each kind of data collector monitor has a Logging option under…

Read Me Leave comment

Data Collector Monitoring Functions

Data Collector Monitoring Functions

…functions init: markings -> <numerical type> option initialization function pred: subnet -> bool predicate function obs: subnet -> <numerical type> observation function stop: markings -> <numerical type> option stop function…

Read Me Leave comment

The User Interface of CPN Tools

The User Interface of CPN Tools

First steps Graphical User Interface Index Marking menus Other tools Palette tools…

Read Me Leave comment

Publications

Publications

…Tools Simulator. Proc. of 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009). Lecture Notes in Computer Science 5606, pp. 313-322, Springer-Verlag Berlin, 2009. K. Jensen,…

Read Me Leave comment

Timed Nets

Timed Nets

…not, the sequence of states that an executing model passes through has no temporal interpretation: it is just a sequence of states. Representing time in a CPN In order to…

Read Me Leave comment

Simulation replications

Simulation replications

…Model time….: 8551 Stop reason…: The following stop criteria are fulfilled: – Breakpoint: OneHundred_QueueDelays Time to run simulation: seconds Simulation no.: 2 Steps………: 300 Model time….: 9930 Stop reason…: The…

Read Me Leave comment

Simulation stop criteria

Simulation stop criteria

A simulation will stop if one or more of the following conditions are fulfilled: There are no more enabled transitions The number of steps specified for the Play or Fast…

Read Me Leave comment

Simulator functions

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…

Read Me Leave comment