In simulations with time, each token may, in addition to its token value, carry a time stamp, that is, a value of type Time.time. Currently, the type Time.time is the type IntInf.int, i.e. time values are infinite (or unbounded) integers. Places with timed color sets contain timed multi-sets of values. The @, @+, and @@+ operators are used to add time stamps to colors. Adding […]
Timed color sets
A color set is timed by appending the keyword timed to the end of its declaration. At least one color set must be timed in order to run a simulation with time. Declaration syntax colset name = … timed; Declaration examples colset IT = int timed; colset P = product Bool * IT timed; A timed color set is used in the example CPN for […]
Timed color set functions
A number of functions are predefined for all timed color sets. In the following, we assume that the color set cs has been declared as a timed color set. Functions for the untimed version of the color set (which is always automatically defined in addition to the timed version) are described on the help page for color set functions. Equality Operators The equality operators = […]
Time attributes in tokens
It is often useful to be able to record time-related information for certain objects that are represented in a model. For example, when modeling a network protocol with timed CP-nets, it might be interesting to be able to measure the amount of time that passes from when a packet is sent from one computer until the packet is received by another computer. It could also […]
Create a Timed CP-net
A CPN is timed if at least one of its color sets is a timed color set. Declaring a timed color set To declare a timed color set, declare it as you ordinarily would (see Add/edit declarations), and append the keyword timed to the declaration, as described under Timed color sets. Giving a token a time stamp Tokens get time stamps via expressions called delay […]
