简介
通常我们需要限定库所的容量, 例如，为了给一个网络缓冲器建模,或者为了便于状态空间的生成进行简化，而使网络有界。
遗憾的是CPN工具并不支持这些，但是使用反库所的概念依然能够对它们轻松建模。
反库所是与源库所有关的库所，它的每个弧来自或指向源库所，并有一个弧来自或指向反库所，移动相同编号的非着色令牌。
示例
这是一个非常简单的发送者和接收者模型。
发送者，将包发送到网络。
接收者从网络接收包。
限制容量
我们限制网络的容量为2.
我们增加一个带有两个令牌的反库所，针对上述例子修改，可以得到：
增加一个反库所
- 增加类型"E"的新库所。给新库所取名为“反网络”，因此很明显它是“网络”的反库所。
- 设置新库所的初始标识为"2`e"，因此选择界限应该是2.
注释: 不需要增加类型"E"，它是标准声明之一。
弧的转变（引入和导出）
- 保持源弧和其注入式不变。
-
在相反的方向增加一个新弧，但相反地把库所末端连接到反库所。当我们沿着源弧移动时，新弧的标注有很多"e"令牌。在这个例子中，源弧的标注是"p"（正好移动一个令牌），因此新的标注是"e".初始标注是，"1`true++2`false"，"3`'hello'",或
"1`1++1`3++1`9",新的标注在所有案例中为"3`e" .
示例
该例能从下列文档中下载到