通过将timed键挂起直至声明结束这种方式将颜色集设定为赋时颜色集。为了能依据时间运行仿真至少一种颜色需赋时。

声明语法

color name = ... timed;

声明示例

color IT = int timed;

color P = product Bool * IT timed;

在CPN的赋时协议 Timed Protocol示例中使用到了赋时颜色集。