3、标记广义随机Petri网与分区RAID系统建模

标记广义随机Petri网与分区RAID系统建模

标记广义随机Petri网（Tagged Generalized Stochastic Petri Nets）

在随机系统建模中，标记广义随机Petri网（TGSPN）是一种强大的工具。它允许对系统中的不同元素进行标记，从而更精确地分析系统的性能。

排队策略（Queueing Policies）

在通过时间分析中，转换触发时令牌的调度是相关的。到目前为止，我们假设排队位置采用随机顺序（RO）策略进行管理。然而，TGSPN允许指定多种其他调度策略，从而增加了形式化的建模能力。

目前，TGSPN允许在n - 服务器转换的情况下，在排队位置指定以下调度策略：
- 先来先服务（FCFS）
- 随机顺序（RO）
- 后进先出（LCFS）
- 后进先出带抢占（LCFS - PR）

这里我们主要讨论LCFS调度策略的网络展开。图3展示了一般的转换模式：
- 图3（a）是未标记的GSPN隐式队列。
- 图3（b）是一般的展开方案。

当一个排队位置由多个服务器共享时，问题可以像图3（c） - （d）那样进行归一化，将令牌在队列中的停留与实际触发状态变化的服务器的识别分开。

下面是LCFS调度策略的详细介绍：
- 无抢占的n - 服务器LCFS ：图4（a）展示了针对给定客户标记时，LCFS调度策略（无抢占）的GSPN。在任何时刻，队列中的客户被分为在标记客户之前到达的（位置p3中的令牌）和在标记客户之后到达的（位置p1中的令牌）。位置p2中的令牌表示正在服务的客户