37、带数据令牌的网络：原理、分类与应用

带数据令牌的网络：原理、分类与应用

1. 数据网的基本概念与决策问题

数据网的状态转移是一个核心概念。对于 $t \in T$，状态转移 $s \stackrel{t}{\longrightarrow} s’$ 成立，当且仅当存在 $s$ 的一个 0 - 扩展 $s^{\dagger}$ 和一个递增函数 $\iota : [\alpha_t] \to [|s^{\dagger}|]$ 满足以下条件：
- ${j : s^{\dagger}(j) = 0} \subseteq Range(\iota)$；
- $s^{\dagger} \geq [F_t] {|s^{\dagger}|}^{\iota}$；
- $s’$ 是 $(s^{\dagger} - [F_t] {|s^{\dagger}|}^{\iota})[G_t] {|s^{\dagger}|}^{\iota} + [H_t] {|s^{\dagger}|}^{\iota}$ 的 0 - 收缩。

我们也可以将其记为 $s \stackrel{t,s^{\dagger},\iota}{\longrightarrow} s’$ 或简记为 $s \to s’$。对于任意数据网，其转移系统 $\langle Seq(IN_P \setminus {0}), \to \rangle$ 是有限分支的。

在数据网中，有几个标准的决策问题：
- 可达性问题 ：给定一个数据网以及标记 $s$ 和 $s’$，判断是否存在某个标记 $s’’ \geq s’$ 可以从 $s$ 到达。
- 终止性