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.

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.

Operations