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数目