| 赋时多重集 | CPN 工具帮助 |
| CPN ML |
Time.time这样类型的值。现在类型 Time.time就是类型IntInf.int,
也就是时间值是无限的（或无界的）整数。 有赋时颜色集的库所包含值的赋时多重集。@, @+, 和 @@+ 操作符被用于在颜色上添加时间戳。
在颜色c上添加用x表示的时间延迟，那么颜色c
上时间戳的值等于当前建模时间 + x.
c @ t |
将时间戳t (with type Time.time)
附给颜色c |
ms @+ i |
加整数时间延迟 i给多重集ms的每个颜色
， 返回一个赋时多重集 |
ms @@+ t |
加时间延迟 t (with type Time.time)给多重集 ms的每个颜色，返回一个定时的多重集 |
IntInf.fromInt i |
将整型i转换为时间值 |
tms1 +++ tms2 |
赋时多重集的相加 |