理查德·梅尔(Richard M.Mayr);帕罗什·阿齐兹·阿卜杜拉-定价时间Petri网

lmcs:874-计算机科学中的逻辑方法,2013年11月12日,第9卷第4期-https://doi.org/10.2168/LMCS-9(4:10)2013
定价时间Petri网第条

作者:Richard M.Mayr;帕罗什·阿齐兹·阿卜杜拉

    我们考虑定价时间Petri网,即无界Petri网代币携带一个实值时钟。过渡弧标有时间间隔,它指定对标记年龄的限制。此外,我们成本模型将每个时间单位的令牌存储成本分配给各个位置,并触发过渡成本。这个通用模型严格包含了两种定价时间自动机和无界定价Petri网。我们研究计算成本达到给定的控制状态。一般来说,成本最小的计算由于时间限制的严格不平等,可能不存在。然而,我们表明达到给定控制状态所需成本的下确界是可计算的在所有场所和过渡成本都为非负的情况下。另一方面手,如果允许负成本,那么问题是控制状态以零总体成本达到是不可确定的。事实上,即使在更简单的离散时间情况下(即。,积分值时钟)。


    资料来源:arXiv.org:1307.2570
    第9卷第4期
    发布日期:2013年11月12日
    进口日期:2012年6月21日
    关键词:计算机科学-计算机科学中的逻辑、计算机科学-形式语言和自动机理论

    6引用本文的文件

    咨询统计

    该页面已被浏览1177次。
    本文的PDF已下载396次。