网系统中的容量函数 标识函数 权函数

1.库所S和容量函数K的关系

每一个库所s代表一种物质资源，而它的容量K(s)则是代表其容纳此类资源的能力。换言之，容量K(s)也是一种资源，它是容纳s类资源的空间资源。      

空间资源也是一种资源，但它与物资资源有着不同的性质。比如，车是一种物质资源，没有车就无法发生开车的行为；车位是一种空间资源，但一个没有车位（即车位已被占用）的空间资源却不能阻止另一辆车开进来，于是就发生“冲撞”。      冲撞是由于空间资源的缺少而引起的一种现象 。    

2.权函数W的物理含义

W(s,t)是变迁t发生时占用s类资源的数量；而 W(t,s)是变迁t发生时释放s类资源的数量。      

权函数W代表着变迁对两类资源的依赖：

一类是由库所明确描述的物质资源

另一类则是由容量函数隐含描述的空间资源。物质资源的短缺可能会引起“冲突”，空间资源的短缺可能会引起“冲撞

3.标识函数

M0是网络的一个初试标识，对任意一个库所P,M(p)表示P中的token数目