Timed colour sets | CPN Tools help |
CPN ML |
timed
to the end of its declaration. At least one colour 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 colour set is used in the example CP-net for the Timed Protocol.