定价时间Petri网第条
作者:Richard M.Mayr;帕罗什·阿齐兹·阿卜杜拉
空##空
理查德·梅尔(Richard M.Mayr);帕罗什·阿齐兹·阿卜杜拉
我们考虑定价时间Petri网,即无界Petri网代币携带一个实值时钟。过渡弧标有时间间隔,它指定对标记年龄的限制。此外,我们成本模型将每个时间单位的令牌存储成本分配给各个位置,并触发过渡成本。这个通用模型严格包含了两种定价时间自动机和无界定价Petri网。我们研究计算成本达到给定的控制状态。一般来说,成本最小的计算由于时间限制的严格不平等,可能不存在。然而,我们表明达到给定控制状态所需成本的下确界是可计算的在所有场所和过渡成本都为非负的情况下。另一方面手,如果允许负成本,那么问题是控制状态以零总体成本达到是不可确定的。事实上,即使在更简单的离散时间情况下(即。,积分值时钟)。
第9卷第4期
发布日期:2013年11月12日
进口日期:2012年6月21日
关键词:计算机科学-计算机科学中的逻辑、计算机科学-形式语言和自动机理论