Cuijpers，P.J.L.公司。;Reniers，医学硕士。 拓扑（双）模拟。 （英语） Zbl 1271.68177号 Hildebrandt，T.（编辑）等人，CONCUR 2003：CMCIM和GETCO。2003年9月6日，法国马赛，第二届并行、交互和移动性分类方法研讨会和第五届并行几何和拓扑方法研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记100，49-64（2004）。 摘要：我们认为，在混合系统的背景下，模拟和互模拟是不够的，因为它们只能比较在有限数量的跃迁中可以达到的状态。为了解决这个问题，我们用状态空间上的拓扑来扩展标记转移系统。我们定义了模拟和互模拟的拓扑版本，它们也能够比较无限跃迁序列的累积状态。我们证明了对于具有不确定拓扑的过渡系统，拓扑（双）模拟和标准（双）仿真是一致的。对于具有离散拓扑的有限过渡系统，也得到了类似的结果。关于整个系列，请参见[Zbl 1271.68042号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{P.J.L.Cuijpers}和\textit{M.A.Reniers}，电子。注释Theor。计算。科学。100,49--64（2004年；Zbl 1271.68177） 全文： 链接