Timed color sets

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.

colset name = … timed;

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.