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 […]