引入无限概率模型的差异
摘要：在无限状态概率模型中计算可达性概率一直是许多论文的研究主题。在这里，我们引入了一种新的属性，称为“发散性”，当满足该属性时，可以计算出任意精度的可达性概率。发散性的主要特点之一是我们的算法不需要可达性问题是可判定的。然后，我们研究了概率版本的推动堆栈自动机和Petri网中发散性的可判定性，其中与转换相关联的权重也可能依赖于当前状态。这与大多数现有的工作假设权重与状态无关相比应该更加明显。这种扩展框架的动机来自于对真实案例研究的建模。此外，我们展示了一些通道系统和推动堆栈自动机的发散子类，特别适用于指定开放式分布式系统和易于性能崩溃的网络，以计算与服务需求相关的概率。
作者：Alain Finkel, Serge Haddad, Lina Ye
论文ID：2308.08842
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-21