20、有色Petri网的有界性与可达性属性分析

有色Petri网的有界性与可达性属性分析

1. 基本有界性属性

在有色Petri网（CPN）中，对于一个位置 p 和一个标识 M ，我们用 |M(p)| 来表示多重集 M(p) 的大小，也就是在标识 M 下位置 p 上的令牌数量。

• 整数界限
  • 上整数界限 ：一个非负整数 n 是位置 p 的上整数界限，如果位置 p 上的令牌数量始终小于或等于 n ，即对于所有可达标识 M ∈ R(M0) ，都有 |M(p)| ≤ n 。若位置 p 存在上整数界限，则称该位置是有界的；否则，位置 p 是无界的，这意味着位置 p 可能拥有任意多的令牌。位置 p 的最佳上整数界限是满足上整数界限条件的最小整数。
  • 下整数界限 ：一个非负整数 n 是位置 p 的下整数界限，如果位置 p 上的令牌数量始终大于或等于 n ，即对于所有可达标识 M