Create a timed CP-net | CPN Tools help |
How-to |
A CP-net is timed if at least one of its colour sets is a timed colour set.
To delcare a timed colour set, declare it as you ordinarily would (see Add/edit declarations), and append the keyword timed
to the declaration, as described under Timed colour sets.
@+ expressionwhere
@+
appears literally, and expression is an arithmetic expression of type integer
.
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.
The example net for the Timed Resource Allocation system is an example of a timed CP-net.