10、PFR - GCBS策略的性能分析与移动安全措施用户接受度研究

PFR - GCBS策略的性能分析与移动安全措施用户接受度研究

1. PFR - GCBS策略的GSPN模型

广义随机Petri网（GSPN）由两种节点组成：库所（用圆圈表示）和变迁。变迁又分为两类：
- 时间变迁（用矩形表示）：描述耗时活动的执行。
- 即时变迁（用细条表示）：优先于时间变迁，一旦使能就会在零时间内触发，用于建模同步等逻辑活动。

库所和变迁通过有向带标签的弧（用箭头表示）连接，弧的标签是一个正整数，无标签的弧默认权重为1。抑制弧用末端为圆形而非箭头的线表示，抑制库所中存在令牌会抑制变迁的触发。

系统状态由标识描述，标识指定了网中每个库所的令牌数量。变迁在给定标识下使能的条件是：其每个普通输入库所包含的令牌数至少等于连接弧的重数，且每个抑制输入库所包含的令牌数少于相应抑制弧的重数。使能变迁的触发会创建网的新标识（状态），Petri网的演化由可达图表示，该可达图同构于连续时间马尔可夫链（CTMC）。

在PFR - GCBS策略的GSPN模型中，各库所代表的含义如下：
| 库所 | 含义 |
| ---- | ---- |
| Sub−Free | 空闲用户 |
| CAC−Fr | 新呼叫的到达和准入条件 |
| CAC−Ho | 切换或重复切换呼叫的到达和准入条件 |
| Cha−Idle | 空闲信道，初始时有C个令牌 |
| Call−In−Proc | 正在处理的呼叫 |
| Orbit−Fr | 新呼叫的轨道 |
| Orbit−Ho | 切换呼叫的轨道 |
| Choice−Fr | 被阻塞的新呼叫或重复新呼叫的选择