Timed colour sets
CPN ML


A colour set is timed by appending the keyword timed to the end of its declaration. At least one colour 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 colour set is used in the example CP-net for the Timed Protocol.