Transition inscriptions | CPN Tools help |
CPN ML |
Note: In order to enter the state space tool, transition names must fulfill certain requirements.
@+ delay-expr
. Before a time inscription has been added, the default text for the inscription is @+.
Time delay is always added relative to the current time. For example, if current time is 10 and the time delay is @+2, then the time stamp of tokens sent to the output places will be 12. A missing time inscription is equivalent to a zero delay.
The time delay expression can use all the CPN variables of the corresponding transition. This means that the time delay may depend upon the token values for input and output tokens.
Moreover, the expression may, via calculated CPN variables, depend upon reference variables and imput files. The time inscription may also use functions, including, e.g. user-defined functions, the random
function, the time
function, and the random distribution functions.
Examples of time inscriptions can be found in the following example nets: Timed Protocol.