Declaring a timed color set
Giving a token a time stamp
Tokens get time stamps via expressions called delay expressions. A delay expression has the form:
@+ appears literally, and expression is an arithmetic expression of type
A delay expression defines a time equal to the current simulated time (symbolized by the
@ sign) plus (
+) the value of the
expression. This value becomes the time stamp of any tokens created under the aegis of the delay expression. There are three ways to use a delay expression to provide time stamps for tokens: by putting it in a transition time inscription, by appending it to an arc inscription of an output arc from a transition, or by using it in an initial marking inscription.
Functions for accessing current model time, and converting current model time to and from integers and strings are described under Simulator functions.
The Timed Resource Allocation system is an example of a timed CPN.