22、带时标有色Petri网：原理与应用

带时标有色Petri网：原理与应用

1. 带时标CPN模型基础

带时标有色Petri网（Timed Coloured Petri Nets，简称Timed CPN）是在传统有色Petri网基础上引入了时间因素。与传统CPN模型不同，带时标CPN模型中的令牌除了颜色外，还可以携带一个称为时间戳（timestamp）的值。这使得令牌标记的位置成为一个带时标多重集，它指定了多重集中的元素及其时间戳。此外，带时标CPN模型有一个全局时钟，代表模型时间。令牌在各个位置的分布、它们的时间戳以及全局时钟的值共同构成了一个带时标标记。在分层带时标CPN模型中，所有模块共享一个全局时钟。

在CPN Tools中，时间戳是属于CPN ML类型TIME的非负整数。时间戳指定了令牌准备好被使用的时间，即可以被发生的转换移除的时间。使用CPN ML关键字“timed”来声明一个颜色集为带时标的。例如，以下是一个带时标CPN模型的颜色集定义和变量声明：

colset NO = int timed;
colset DATA = string timed;
colset NOxDATA = product NO * DATA timed;
colset BOOL = bool;
var n, k : NO;
var d, data : DATA;
var success : BOOL;

2. 初始标记与令牌时间戳

带时标CPN模型的初始标记与传统CPN模型类似，但令牌带有时间戳。例如，位置“PacketsToSend”的初始标记如下：

1‘(1,"COL")@0 +++
1‘(2,"OUR")@0 ++