米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森;薛炳添 加权过渡系统的完全近似理论。 （英语） Zbl 1393.68116号 Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。查姆：施普林格（ISBN 978-3-319-47676-6/pbk；978-3-3169-47677-3/电子书）。计算机科学讲座笔记9984，213-228（2016）。 摘要：我们提出了一种关于加权转移系统（WTS）中转移权重的最小值和最大值的推理方法。这个透视图引入了一个比经典互模拟更粗糙的互模拟概念：它将显示转换到具有相同边界内权重的互模拟类的状态关联起来。我们提出了一种定制的模态逻辑，它通过特定的模态来表示这些过渡权重的数值边界。我们证明了我们的逻辑在所提出的互模拟概念下是不变的。我们证明了逻辑具有有限模型性质，这使得我们能够证明可满足性的可判定性，并提供了一种可满足性检查的算法。最后但并非最不重要的是，我们为这个逻辑确定了一个完整的公理化，从而解决了这个领域中长期存在的一个开放问题。我们的所有结果都针对一类没有图像完整性限制的WTS进行了验证，这一事实使得该开发具有通用性和健壮性。关于整个系列，请参见[Zbl 1347.68007号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{M.Hansen}等人，Lect。注释计算。科学。9984213--228（2016年；Zbl 1393.68116） 全文： 内政部 链接