计算机科学>形式语言和自动机理论
标题: 等待网:状态类和分类
摘要: 在时间Petri网(TPN)中,时间和控制是紧密相连的:只有当启动转换所需的所有资源都可用时,转换的时间测量才会开始。 此外,启用持续时间的上限可以强制转换为开火状态(这称为紧急状态)。 对于许多系统,人们希望解耦控制和时间,即,一旦过渡的预设部分被填满,就开始测量时间,并在所有需要的资源都可用时,在一些延迟\下划线{和}后触发它。 本文考虑了一种称为等待网的TPN扩展,它将时间测量和控制分离开来。 它们的语义允许时间测量从不完整的预设开始,并且在达到间隔上限但尚未提供所需的所有资源时可以忽略紧急性。 一旦缺少的资源可用,就允许触发转换。 众所周知,使用秒表扩展有界TPN会导致不可判定性。 我们的扩展较弱,并且我们展示了如何计算有界等待网的有限状态类图,从而得出可达性和覆盖性的可判定性。 然后,我们将等待网络的表达能力与其他具有时间语言等价性的模型进行了比较,并表明它们严格地比TPN更具表达能力。