桑迪·巴拉格尔;托马斯·查坦-避免时间自动机网络中的共享时钟

lmcs:933-计算机科学中的逻辑方法,2013年11月14日,第9卷第4期-https://doi.org/10.2168/LMCS-9(4:13)2013
避免时间自动机网络中的共享时钟第条

作者:Sandie Balaguer;托马斯·查坦

    时间自动机网络(NTA)广泛用于分布式建模实时系统。在文献中,自动机经常被允许共享时钟,即一台自动机的转换可能受到以下条件的保护时钟值被另一个自动机重置。这是一个问题考虑在分布式体系结构中实现这样的模型,因为先验时钟需要通信,但在模型。我们关注以下问题:给定NTA A1||A2,其中A2读取一些由A1重置的时钟,是否存在没有的NTA A'1||A'2与初始NTA具有相同行为的共享时钟?为此,我们允许仅在同步期间自动交换信息,特别是通过复制邻居时钟的值。我们讨论了并定义适当的行为等效性。然后我们给出一个使用上下文时间转换系统概念的标准表示A2与A1并联时的行为。最后,我们有效地构建A'1||A'2(如果存在)。


    资料来源:arXiv.org/1310.5558
    第9卷第4期
    发布日期:2013年11月14日
    进口日期:2013年1月15日
    关键词:计算机科学-形式语言和自动机理论

    5引用本文的文件

    咨询统计数据

    这个页面已经被浏览了1036次。
    本文的PDF已下载389次。