…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…
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…
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…
Data Collector Monitoring Functions
…hidden hidden hidden Generic data collector accessible accessible accessible hidden accessible Generic data collector monitors Function types for the accessible functions init: markings -> <numerical type> option initialization function pred:…
The User Interface of CPN Tools
First steps Graphical User Interface Index Marking menus Other tools Palette tools…
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,…
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…
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…
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…
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…
