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 the Timed Protocol example.


See color set functions and timed color set functions.

Timed color set functions
Timed multisets

You must be logged in to post a comment.